International Symposium on Programming : proceedings of the fourth "Colloque International sur la Programmation", Paris, 22-24 April 1980 / ed. by B. Robinet. - Berlin [etc.] : Springer-Verlag, 1980. - VII, [1], 341 s. : il. ; 25 cm. - Lecture Notes in Computer Science ; 83 . - Lecture Notes in Computer Science 83 .

Bibliogr. przy rozdz.




Tekst ang. i fr.

3540099816 0387099816


Języki programowania--semantyka--konferencje.
Weryfikacja oprogramowania--konferencje.