Hardware and software, verification and testing

: revised selected papers / Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23 - 26, 2006. Eyal Bin ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4383)

ISBN 978-3-540-70889-6

Lizenzpflichtig

Quelle: DNB

Sharp, Richard: Higher level hardware synthesis

/ Richard Sharp. - Berlin : Springer, 2004. - XVI, 195 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2963)

ISBN 978-3-540-21306-2 / 3-540-21306-6 kart. : EUR 44.94, sfr 76.50

Literaturverz. S. 185 - 192

Quelle: DNB Verlagsmeldungen

Higher level hardware synthesis

/ Richard Sharp. - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2963)

ISBN 978-3-540-24657-2

Lizenzpflichtig

Quelle: DNB

Prospects for hardware foundations

: survey chapters / ESPRIT Working Group 8533 NADA - New Hardware Design Methods. Bernhard Möller ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1546)

ISBN 978-3-540-49254-2

Lizenzpflichtig

Quelle: DNB

Runtime verification

: 8th international workshop ; selected papers / RV 2008, Budapest, Hungary, March 30, 2008. Martin Leucker (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5289)

ISBN 978-3-540-89247-2

Lizenzpflichtig

Quelle: DNB

Eveking, Hans: Verifikation digitaler Systeme

: eine Einführung in den Entwurf korrekter digitaler Systeme / von Hans Eveking. - Stuttgart : Teubner, 1991. - XII, 308 S. : graph. Darst.; 23 cm - (Leitfäden und Monographien der Informatik)

ISBN 978-3-519-02249-7 / 3-519-02249-4 kart. : DM 46.00

Literaturverz. S. 293 - 302

Quelle: DNB