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
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