skip to main content

Larch languages and tools for formal specification

John Vogel Guttag J. J Horning (James J.)

New York Springer-Verlag 1993

Localização: ICMC - Inst. Ciên. Mat. Computação    (68N30.05 G985l e.1 )(Acessar)

Buscando em bases de dados remotas. Favor aguardar.