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
Correct hardware design and verification methods
: IFIP WG 10.5 advanced research working conference ; proceedings / CHARME '95, Frankfurt/Main, Germany, October 2 - 4, 1995. Paolo E. Camurati ; Hans Eveking (ed.). - Berlin : Springer, 1995. - VIII, 342 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 987)
ISBN 978-3-540-60385-6 / 3-540-60385-9 kart. : DM 70.00
Literaturangaben
Quelle: DNB
Formal hardware verification
: methods and systems in comparison / Thomas Kropf (ed.). - Berlin : Springer, 1997. - XII, 367 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 1287)
ISBN 978-3-540-63475-1 / 3-540-63475-4 kart. : DM 78.00
Literaturverz. S. 349 - 367
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