9783540343042 - formal methods for hardware verification: 6th international school on formal methods for the design of computer, communication, and software systems, ... notes in computer science, 3965, band 3965) (4 Ergebnisse)
- Softcover
Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, DeutschlandAntiquariat Thomas Haker GmbH & Co. KG
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 9,36
EUR 15,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Softcover/Paperback. Zustand: Sehr gut. 256 p. Very good. Shrink wrapped. / Sehr guter Zustand. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 320.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,47
EUR 13,85 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: moluna, Greven, , Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,56
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. Presents papers accompanying lectures given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software SystemsFocused on formal techniques for hardware verificationCovers many asp.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 73,40
EUR 61,84 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. Neuware - This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006). SFM 2006 was devoted to formal techniques for hardware verification an…d covers several aspects of the hardware design process, including hardware design languages and simulation, property specification formalisms, automatic test pattern generation, symbolic trajectory evaluation, and more.
