Formal description of programming concepts : vol. II : proceedings of the IFIP working conference on formal description of programming concepts - II, held in Garmisch-Partenkirchen, FRG, 1-4 June, 1982 / Dines Bjorner, ed. lit..
- Amsterdam : North-Holland Publishing Company , cop. 1983 .
- XI, 455 p. : il. ; 23 cm.
ISBN 0-444-86619-1
Programação de computadores
Linguagens formais
LCC QA76.6
ISBN 0-444-86619-1
Programação de computadores
Linguagens formais
LCC QA76.6
