Catálogo bibliográfico FCT/UNL
Guttag, John V.
Larch : languages and tools for formal specification / John V. Guttag, James J. Horning, S. J. Garland. - New York : Springer-Verlag , cop. 1993 . - XIII, 250 p. : il. ; 24 cm. - (Texts and monographs in computer science)

ISBN 0-387-94006-5

Computadores eletrónicos digitais

Larch (Linguagem de programação)

Software


LCC QA76.6
Moodle da Biblioteca Slideshare da Biblioteca Siga-nos no Issuu Twitter da Biblioteca Instagram da Biblioteca Facebook da Biblioteca Blog da Biblioteca