Suchfeld einblenden
Person Aagaard, Mark
2 Treffer
Seite < 1 >
Formal methods in computer aided design
: 4th international conference ; proceedings / FMCAD 2002, Portland, OR, USA, November 6 - 8, 2002. M. D. Aagaard ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2517)
ISBN 978-3-540-36126-8
Lizenzpflichtig
Quelle: DNB
Theorem proving in higher order logics
: 13th international conference ; proceedings / TPHOLs 2000, Portland, OR, USA, August 14 - 18, 2000. Mark Aagaard ; John Harrison (ed.). - Berlin : Springer, 2000. - IX, 533 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1869)
ISBN 978-3-540-67863-2 / 3-540-67863-8 kart. : DM 106.00
Literaturangaben
Quelle: DNB
Seite < 1 >
