Hardware software verification testing

Dr. Dobb's Journal: Software Tools For The Professional Programmer #373 June 2005 "Testing and Debugging" (Includes: Omniscient Debugging; Examining Software Testing Tools; Dissecting Error Messages; Debugging Production Software; System Verification with SCV; Portability and Data Management; Performance Monitoring with PAPI; The Technical Report on C++ Library Extensions; Measuring the Benefits of Software Reuse; Loadable Modules and the Linux 2.6 Kennel; ASP.NET and Multiplatform Environments; Hardware-Assisted Breakpoints. This issue includes C/C++, .NET, Java, Linux, C#, Win 32)

Erickson, Jonathan and Blake, Deirdre (Editors)

Verlag: CMP Media, 2005

Anbieter: GloryBe Books & Ephemera, LLC, Deforest, WI, USAGloryBe Books & Ephemera, LLC

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Gebraucht - Befriedigend

EUR 3,03

EUR 4,85 Versand

Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb

No binding. Zustand: Good. Front Cover and First 2 Pages have a 2" x 4" Tear on lower left corner o/w Good, Tight and Legible. NOT A FORMER LIBRARY BOOK.

Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

Eran Yahav (editor)

Sprache: Englisch

Verlag: Springer, 2014

3319133373 / 9783319133379

Softcover

Anbieter: Irolita Books, Aurora, ON, KanadaIrolita Books

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Gebraucht - Gut bis sehr gut

EUR 39,28

EUR 2,17 Versand

Versand von Kanada nach USA

Anzahl: 1 verfügbar

Softcover. Zustand: NEAR FINE. Slight shelfwear. Otherwise like new. 24 cm. 301 pages. Additional info or photos on request. Ships in sturdy cardboard packaging, with tracking and insurance.

Hardware and Software Verification and Testing. First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers.

Ur, Shmuel; Eyal Bin; Yaron Wolfsthal (Eds.)

Sprache: Englisch

Verlag: Berlin, Springer., 2006

3540326049 / 9783540326045

Softcover

Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, DeutschlandUniversitätsbuchhandlung Herta Hold GmbH

Verkäufer/-in mit 3 Sternen

Verkäufer/-in kontaktieren

Verbandsmitglied: VDAGIAQILAB

Zustand: Gebraucht

EUR 12,00

EUR 30,00 Versand

Versand von Deutschland nach USA

Anzahl: 1 verfügbar

X, 264 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Stamped/gestempelt. Lecture Notes in Computer Science, Vol. 3875 Sprache: Englisch.…

Hardware and Software: Verification and Testing

Sprache: Englisch

Verlag: Springer, 2008

3540779647 / 9783540779643

Softcover

Anbieter: Books Puddle, New York, NY, USABooks Puddle

Verkäufer/-in mit 4 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 41,07

EUR 3,46 Versand

Versand innerhalb von USA

Anzahl: 1 verfügbar

Zustand: New. pp. xii + 267 1st Edition.

Hardware and Software: Verification and Testing

Sprache: Englisch

Verlag: Springer, 2008

3540779647 / 9783540779643

Softcover

Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books

Verkäufer/-in mit 4 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 37,04

EUR 7,59 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

Zustand: New. pp. xii + 267 Illus.

HARDWARE AND SOFTWARE: VERIFICATION AND TESTING: THIRD INTERNATIONAL HAIFA VERIFICATION CONFERENCE, HVC 2007, HAIFA, ISRAEL, OCTOBER 23-25, 2007, PROCEEDINGS

Sprache: Englisch

Verlag: Springer, 2008

3540779647 / 9783540779643

Softcover

Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 49,01

Versand gratis

Versand innerhalb von USA

Anzahl: 1 verfügbar

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

HARDWARE AND SOFTWARE: VERIFICATION AND TESTING: THIRD INTERNATIONAL HAIFA VERIFICATION CONFERENCE, HVC 2007, HAIFA, ISRAEL, OCTOBER 23-25, 2007, PROCEEDINGS

YORAV

Sprache: Englisch

Verlag: Springer, 2008

3540779647 / 9783540779643

Softcover

Anbieter: Basi6 International, Irving, TX, USABasi6 International

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 49,01

Versand gratis

Versand innerhalb von USA

Anzahl: 3 verfügbar

Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, . / Programming and Software Engineering)

Bin, Eyal [Editor]; Ziv, Avi [Editor]; Ur, Shmuel [Editor];

Sprache: Englisch

Verlag: Springer, 2007

354070888X / 9783540708889

Softcover

Anbieter: GuthrieBooks, Spring Branch, TX, USAGuthrieBooks

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Gebraucht - Gut

EUR 42,78

EUR 6,06 Versand

Versand innerhalb von USA

Anzahl: 1 verfügbar

Paperback. Zustand: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.

Hardware And Software, Verification And Testing: Second International Haifa Verification Conference, Hvc 2006, Haifa, Israel, October 23-26, 2006, Revised . Papers

Sprache: Englisch

Verlag: Springer, 2007

354070888X / 9783540708889

Softcover

Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 49,03

Versand gratis

Versand innerhalb von USA

Anzahl: 1 verfügbar

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Hardware And Software, Verification And Testing: Second International Haifa Verification Conference, Hvc 2006, Haifa, Israel, October 23-26, 2006, Revised . Papers

0

Sprache: Englisch

Verlag: Springer, 2007

354070888X / 9783540708889

Softcover

Anbieter: Basi6 International, Irving, TX, USABasi6 International

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 49,03

Versand gratis

Versand innerhalb von USA

Anzahl: 1 verfügbar

Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Hardware and Software: Verification and Testing

Yorav Karen

Sprache: Englisch

Verlag: Springer, 2008

3540779647 / 9783540779643

Softcover

Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios

Verkäufer/-in mit 4 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 37,82

EUR 9,95 Versand

Versand von Deutschland nach USA

Anzahl: 1 verfügbar

Zustand: New. pp. xii + 267.

Hardware and Software : Verification and Testing

Biere, Armin (EDT); Nahir, Amir (EDT); Vos, Tanja E. J. (EDT)

Sprache: Englisch

Verlag: Springer, 2013

3642396100 / 9783642396106

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 49,21

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

HARDWARE AND SOFTWARE: VERIFICATION AND TESTING: THIRD INTERNATIONAL HAIFA VERIFICATION CONFERENCE, HVC 2007, HAIFA, ISRAEL, OCTOBER 23-25, 2007, PROCEEDINGS

Sprache: Englisch

Verlag: Springer, 2008

3540779647 / 9783540779643

Softcover

Anbieter: SMASS Sellers, IRVING, TX, USASMASS Sellers

Verkäufer/-in mit 4 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 51,77

Versand gratis

Versand innerhalb von USA

Anzahl: 1 verfügbar

Zustand: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.

Hardware and Software : Verification and Testing: 6th International Haifa Verification Conference, Hvc 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Barner, Sharon (EDT); Harris, I. (EDT); Kroening, D. (EDT); Raz, Orna (EDT)

Sprache: Englisch

Verlag: Springer, 2011

3642195822 / 9783642195822

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 52,39

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Hardware and Software : Verification and Testing: 10th International Haifa Verification Conference, Hvc 2014, Haifa, Israel, November 18-20, 2014, Proceedings

Yahav, Eran (EDT)

Sprache: Englisch

Verlag: Springer, 2014

3319133373 / 9783319133379

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 52,39

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Hardware and Software Verification and Testing : 9th International Haifa Verification Conference, Hvc 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Bertacco, Valeria (EDT); Legay, Axel (EDT)

Sprache: Englisch

Verlag: Springer, 2013

3319030760 / 9783319030760

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 53,73

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Hardware and Software : Verification and Testing

Biere, Armin (EDT); Nahir, Amir (EDT); Vos, Tanja E. J. (EDT)

Sprache: Englisch

Verlag: Springer, 2013

3642396100 / 9783642396106

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Gebraucht - Wie neu

EUR 54,28

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Hardware And Software, Verification And Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

Ur, Shmuel (EDT); Bin, Eyal (EDT); Wolfsthal, Yaron (EDT)

Sprache: Englisch

Verlag: Springer, 2006

3540326049 / 9783540326045

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 55,97

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

Zustand: New.

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, Hvc 2010, Haifa, Israel, October 4-7, 2010. Revised (Paperback or Softback)

Barner, Sharon

Sprache: Englisch

Verlag: Springer 3/17/2011, 2011

3642195822 / 9783642195822

Softcover

Anbieter: BargainBookStores, Grand Rapids, MI, USABargainBookStores

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 58,34

Versand gratis

Versand innerhalb von USA

Anzahl: 5 verfügbar

Paperback or Softback. Zustand: New. Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, Hvc 2010, Haifa, Israel, October 4-7, 2010. Revised. Book.

Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selec (Paperback or Softback)

Ur, Shmuel

Sprache: Englisch

Verlag: Springer 4/6/2006, 2006

3540326049 / 9783540326045

Softcover

Anbieter: BargainBookStores, Grand Rapids, MI, USABargainBookStores

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 58,34

Versand gratis

Versand innerhalb von USA

Anzahl: 5 verfügbar

Paperback or Softback. Zustand: New. Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selec. Book.

Hardware and Software : Verification and Testing; 11th International Haifa Verification Conference, Hvc 2015, Haifa, Israel, November 17-19, 2015, Proceedings

Piterman, Nir (EDT)

Sprache: Englisch

Verlag: Springer, 2015

3319262866 / 9783319262864

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Gebraucht - Wie neu

EUR 57,95

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Hardware and Software : Verification and Testing; 11th International Haifa Verification Conference, Hvc 2015, Haifa, Israel, November 17-19, 2015, Proceedings

Piterman, Nir (EDT)

Sprache: Englisch

Verlag: Springer, 2015

3319262866 / 9783319262864

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 58,34

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Hardware and Software : Verification and Testing: 13th International Haifa Verification Conference, Hvc 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Strichman, Ofer (EDT); Tzoref-brill, Rachel (EDT)

Sprache: Englisch

Verlag: Springer, 2017

3319703889 / 9783319703886

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 58,34

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Hardware and Software : Verification and Testing: 12th International Haifa Verification Conference, Hvc 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Bloem, Roderick (EDT); Arbel, Eli (EDT)

Sprache: Englisch

Verlag: Springer, 2016

3319490516 / 9783319490519

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 58,34

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Sprache: Englisch

Verlag: Springer, 2016

3319490516 / 9783319490519

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 4 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 60,71

Versand gratis

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings (Lecture Notes in Computer Science, 8855)

Sprache: Englisch

Verlag: Springer, 2014

3319133373 / 9783319133379

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 4 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 60,71

Versand gratis

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings (Programming and Software Engineering)

Sprache: Englisch

Verlag: Springer, 2013

3319030760 / 9783319030760

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 4 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 60,71

Versand gratis

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

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, 9434)

Sprache: Englisch

Verlag: Springer, 2015

3319262866 / 9783319262864

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 4 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 60,71

Versand gratis

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Sprache: Englisch

Verlag: Springer, 2017

3319703889 / 9783319703886

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 4 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 60,71

Versand gratis

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised ... (Lecture Notes in Computer Science, 6504)

Sprache: Englisch

Verlag: Springer, 2011

3642195822 / 9783642195822

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 4 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 60,71

Versand gratis

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Hardware software verification testing (171 Ergebnisse)

Optimieren Sie Ihre Suche

Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

Hardware and Software Verification and Testing. First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers.

Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

HARDWARE AND SOFTWARE: VERIFICATION AND TESTING: THIRD INTERNATIONAL HAIFA VERIFICATION CONFERENCE, HVC 2007, HAIFA, ISRAEL, OCTOBER 23-25, 2007, PROCEEDINGS

HARDWARE AND SOFTWARE: VERIFICATION AND TESTING: THIRD INTERNATIONAL HAIFA VERIFICATION CONFERENCE, HVC 2007, HAIFA, ISRAEL, OCTOBER 23-25, 2007, PROCEEDINGS

Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, . / Programming and Software Engineering)

Hardware And Software, Verification And Testing: Second International Haifa Verification Conference, Hvc 2006, Haifa, Israel, October 23-26, 2006, Revised . Papers

Hardware And Software, Verification And Testing: Second International Haifa Verification Conference, Hvc 2006, Haifa, Israel, October 23-26, 2006, Revised . Papers

Hardware and Software: Verification and Testing

Hardware and Software : Verification and Testing

HARDWARE AND SOFTWARE: VERIFICATION AND TESTING: THIRD INTERNATIONAL HAIFA VERIFICATION CONFERENCE, HVC 2007, HAIFA, ISRAEL, OCTOBER 23-25, 2007, PROCEEDINGS

Hardware and Software : Verification and Testing: 6th International Haifa Verification Conference, Hvc 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Hardware and Software : Verification and Testing: 10th International Haifa Verification Conference, Hvc 2014, Haifa, Israel, November 18-20, 2014, Proceedings

Hardware and Software Verification and Testing : 9th International Haifa Verification Conference, Hvc 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Hardware and Software : Verification and Testing

Hardware And Software, Verification And Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, Hvc 2010, Haifa, Israel, October 4-7, 2010. Revised (Paperback or Softback)

Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selec (Paperback or Softback)

Hardware and Software : Verification and Testing; 11th International Haifa Verification Conference, Hvc 2015, Haifa, Israel, November 17-19, 2015, Proceedings

Hardware and Software : Verification and Testing; 11th International Haifa Verification Conference, Hvc 2015, Haifa, Israel, November 17-19, 2015, Proceedings

Hardware and Software : Verification and Testing: 13th International Haifa Verification Conference, Hvc 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Hardware and Software : Verification and Testing: 12th International Haifa Verification Conference, Hvc 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings (Lecture Notes in Computer Science, 8855)

Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings (Programming and Software Engineering)

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, 9434)

Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised ... (Lecture Notes in Computer Science, 6504)