Verlag: CMP Media, 2005
Anbieter: GloryBe Books & Ephemera, LLC, Deforest, WI, USA
EUR 3,01
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbNo 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.
EUR 35,45
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Anbieter: GuthrieBooks, Spring Branch, TX, USA
EUR 33,48
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
EUR 37,77
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. xii + 267 1st Edition.
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
EUR 12,00
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbX, 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.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 36,50
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. xii + 267 Illus.
Anbieter: Basi6 International, Irving, TX, USA
EUR 47,18
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Anbieter: Basi6 International, Irving, TX, USA
EUR 47,18
Währung umrechnenAnzahl: 3 verfügbar
In den WarenkorbZustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
EUR 47,18
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: 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.
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
EUR 47,18
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: 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.
Anbieter: Basi6 International, Irving, TX, USA
EUR 47,19
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
EUR 47,19
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: 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.
Anbieter: Irolita Books, Aurora, ON, Kanada
EUR 38,57
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: NEAR FINE. Slight shelfwear. Otherwise like new. 24 cm. 301 pages. -- Please feel free to request additional information, or detailed photos. Ships with tracking and insurance. Canadian orders ship via courier.
Anbieter: GuthrieBooks, Spring Branch, TX, USA
EUR 42,67
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
EUR 38,07
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. xii + 267.
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2013
ISBN 10: 3642396100 ISBN 13: 9783642396106
Sprache: Englisch
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
EUR 51,70
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the future directions of testing and verification for hardware, software, and complex hybrid systems. This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
EUR 49,37
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 48,20
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: ALLBOOKS1, Direk, SA, Australien
EUR 52,92
Währung umrechnenAnzahl: 3 verfügbar
In den WarenkorbBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Anbieter: ALLBOOKS1, Direk, SA, Australien
EUR 52,92
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Anbieter: ALLBOOKS1, Direk, SA, Australien
EUR 52,94
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 53,58
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2011
ISBN 10: 3642195822 ISBN 13: 9783642195822
Sprache: Englisch
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
EUR 55,93
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010.The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2011
ISBN 10: 364219236X ISBN 13: 9783642192364
Sprache: Englisch
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
EUR 55,93
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verification Conference, HVC 2009, held in Haifa, Israel in October 2009. The 11 revised full papers presented together with four abstracts of invited lectures were carefully reviewed and selected from 23 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and present academic research in the verification of systems, generally divided into two paradigms - formal verification and dynamic verification (testing). The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and present academic research in the verification of systems, generally divided into two paradigms - formal verification and dynamic verification (testing). Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 53,60
Währung umrechnenAnzahl: 15 verfügbar
In den WarenkorbZustand: New.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 52,44
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 52,44
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 53,92
Währung umrechnenAnzahl: 15 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 53,92
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2006
ISBN 10: 3540326049 ISBN 13: 9783540326045
Sprache: Englisch
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
EUR 56,27
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from November 13 to16, 2005. The conference incorporated three different workshops that took place separately in previous years. The IBM Verification Workshop is now its sixth year, the IBM Software Testing Workshop is now in its fourth year, and the PADTAD Workshop on testing and debugging multi-threaded and parallel software was held for the third time. The Verification Conference was a three-day, single-track conference followed by a one-day tutorial on the testing and review of multi-threaded code. The conference presented a unique combination of fields that brought together the hardware and software testing communities. Merging the different communities under a single roof gave the conference a distinctive flavor and provided the participants with added benefits. While the applications in these separate fields are different, the techniques used are often very similar. By offering lectures in these disparate but related disciplines, the conference engendered an environment of collaboration and discovery. The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from November 13 to16, 2005. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.