Isbn: 9783540203636 - correct hardware design and verification methods: 12th ifip wg 10.5 advanced research working conference, charme 2003, l'aquila, italy, october 21-24, ... notes in computer science, 2860, band 2860) (2 Ergebnisse)
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 68,21
EUR 13,36 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In English.
- Softcover
Anbieter: CSG Onlinebuch GMBH, Darmstadt, DeutschlandCSG Onlinebuch GMBH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 21,16
EUR 95,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Softcover. Zustand: Gut. Gebraucht - Gut Zustand: Gut, Mängelexemplar, XII, 426 p. Also available online. About this book: his book constitutes the refereed proceedings of the 12th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2003, held in L'Aquila, Italy in October 2003. The 24 revised full papers and 8 short papers presented were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on software verification, automata based methods, processor verification, specification methods, theorem proving, bounded model checking, and model checking and applications. Written for researchers and professionals. …
