Biblioteca da Universidade do Minho

Your cart is empty.
International Conference on Formal Methods in Computer-Aided Design,, 1, Formal methods in computer-aided design : proceedings / First International Conference ; ed. Mandayam Srivas, Albert Camilleri

Formal methods in computer-aided design : proceedings / First International Conference ; ed. Mandayam Srivas, Albert Camilleri . - Berlin : Springer, cop. 1996 . - IX, 470 p. 24 cm . - (Lecture notes in computer science; 1166))
3-540-61937-2 (Brochado)

519.674
681.3