Correct hardware design and verification methods
: 13th IFIP WG 10.5 advanced research working conference ; proceedings / CHARME 2005, Saarbrücken, Germany, October 3 - 6, 2005. Dominique Borrione ; Wolfgang Paul (ed.). - Berlin : Springer, 2005. - XII, 412 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3725)
ISBN 978-3-540-29105-3 / 3-540-29105-9 kart. : EUR 83.46 (freier Pr.), sfr 132.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Correct hardware design and verification methods
: 12th IFIP WG 10.5 advanced research working conference ; proceedings / CHARME 2003, L'Aquila, Italy, October 21 - 24, 2003. Daniel Geist ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2860)
ISBN 978-3-540-39724-3
Lizenzpflichtig
Quelle: DNB
Correct hardware design and verification methods
: 11th IFIP WG 10.5 advanced research working conference ; proceedings / CHARME 2001, Livingston, Scotland, UK, September 4 - 7, 2001. T. Margaria ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2144)
ISBN 978-3-540-44798-6
Lizenzpflichtig
Quelle: DNB
Formal methods for hardware verification
: advanced lectures / 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22 - 27, 2006. Marco Bernardo ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3965)
ISBN 978-3-540-34305-9
Lizenzpflichtig
Quelle: DNB
Hardware and software verification and testing
: revised selected papers / First International Haifa Verification Conference, Haifa, Israel, November 13 - 16, 2005. Shmuel Ur ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3875)
ISBN 978-3-540-32605-2
Lizenzpflichtig
Quelle: DNB
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. - XII, 234 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4383)
ISBN 978-3-540-70888-9 / 3-540-70888-X kart. : EUR 44.94 (freier Pr.), sfr 69.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
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
