Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Herausgeber: Nir Piterman: Hardware and Software: Verification and Testing (ISBN: 9783319262871) 2015, Erstausgabe, in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
93%: Piterman, Nir (Editor): Hardware and Software: Verification and Testing; 11th International Haifa Verification Conference, Hvc 2015, Haifa, Israel, November 17-19, 2015, Proceedings (ISBN: 9783319262864) 2015, Springer-Verlag Gmbh Nov 2015, in Deutsch, Taschenbuch.Nur diese Ausgabe anzeigen…
Hardware and Software: Verification and Testing - 13 Angebote vergleichen
| Preise | Feb. 18 | Apr. 19 | Okt. 19 |
|---|---|---|---|
| Schnitt | € 21,75 | € 38,78 | € 36,48 |
| Nachfrage |
Hardware and Software: Verification and Testing (2015)
~EN NW EB DLISBN: 9783319262871 bzw. 3319262874, vermutlich in Englisch, Springer Shop, neu, E-Book, elektronischer Download.
This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015. The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; model checking; timed systems; SAT solving; multi domain verification; and synthesis. eBook.
Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (Lecture Notes in Computer Science) (2015)
EN NW FE EB DLISBN: 9783319262871 bzw. 3319262874, in Englisch, 293 Seiten, Springer, neu, Erstausgabe, E-Book, elektronischer Download.
This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015. The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; model checking; timed systems; SAT solving; multi domain verification; and synthesis., Kindle Edition, Ausgabe: 1st ed. 2015, Format: Kindle eBook, Label: Springer, Springer, Produktgruppe: eBooks, Publiziert: 2015-10-26, Freigegeben: 2015-10-26, Studio: Springer.
Hardware and Software: Verification and Testing (2015)
EN NW EB DLISBN: 9783319262871 bzw. 3319262874, in Englisch, Springer, Springer, Springer, neu, E-Book, elektronischer Download.
This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015.The 17 revised full papers and 4 invited talks presented were carefully reviewed and.
Hardware and Software: Verification and Testing (2015)
~EN PB NWISBN: 9783319262871 bzw. 3319262874, vermutlich in Englisch, Springer International Publishing, Taschenbuch, neu.
Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (2015)
~EN NW EB DLISBN: 9783319262871 bzw. 3319262874, vermutlich in Englisch, Springer International Publishing, neu, E-Book, elektronischer Download.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Hardware and Software: Verification and Testing (2015)
DE PB NWISBN: 9783319262864 bzw. 3319262866, in Deutsch, Springer-Verlag Gmbh Nov 2015, Taschenbuch, neu.
Von Händler/Antiquariat, Buchhandlung - Bides GbR [52676528], Dresden, Germany.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Hardware and Software: Verification and Testing (2015)
DE PB NWISBN: 9783319262864 bzw. 3319262866, in Deutsch, Springer-Verlag Gmbh Nov 2015, Taschenbuch, neu.
Von Händler/Antiquariat, Rheinberg-Buch [53870650], Bergisch Gladbach, Germany.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Hardware and Software: Verification and Testing (2015)
DE PB NWISBN: 9783319262864 bzw. 3319262866, in Deutsch, Springer-Verlag GmbH, Taschenbuch, neu.
Sparbuchladen, [3602074].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Hardware and Software: Verification and Testing (2015)
DE PB NWISBN: 9783319262864 bzw. 3319262866, in Deutsch, Springer-Verlag GmbH, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen