Treffer: Formal methods in computer aided design
Titel:
Formal methods in computer aided design : 4th international conference ; proceedings / FMCAD 2002, Portland, OR, USA, November 6 - 8, 2002. Mark D. Aagaard ; John W. O'Leary (ed.)
Verantwortlich:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 2002
Umfang:
XI, 398 Seiten ; 24 cm
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 2517
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturangaben
Schlagworte:
ISBN:
3540001166