Formal methods in computer-aided design : proceedings / First International Conference; ed. Mandayam Srivas, Albert Camilleri
Corporate Author (Main)
International Conference on Formal Methods in Computer-Aided Design, 1, Palo Alto, 1996
Secondary Author
Srivas, Mandayam
Camilleri, Albert
Country
Alemanha.
Publication
Berlin : Springer, cop. 1996
Description
IX, 470 p. ;
24 cm
Series
Lecture notes in computer science , 1166)
ISBN
3-540-61937-2
CDU
519.674
681.3
There are no comments for this item.