Condition: New.
Condition: New.
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
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.
Condition: New.
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
US$ 52.03
Quantity: 1 available
Add to basketCondition: Like New. Used - Like New. Book is new and unread but may have minor shelf wear. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Condition: As New. Unread book in perfect condition.
US$ 54.62
Quantity: 2 available
Add to basketHardcover. Condition: Brand New. 196 pages. 6.69x0.50x9.61 inches. In Stock.
Condition: As New. Unread book in perfect condition.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 68.53
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 68.53
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 66.17
Quantity: 10 available
Add to basketPaperback. Condition: New.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 66.39
Quantity: 10 available
Add to basketPaperback. Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 69.84
Quantity: Over 20 available
Add to basketCondition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 68.52
Quantity: Over 20 available
Add to basketCondition: New.
Condition: New. pp. 284.
Paperback or Softback. Condition: New. Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selec. Book.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 77.43
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 77.43
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006
ISBN 10: 3540326049 ISBN 13: 9783540326045
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New. Constitutes the refereed post-proceedings of the First International Conference on Hardware Verification, Software Testing, and PADTAD held in November 2005. This book includes papers that address various issues in hardware/software verification, software testing, and testing of parallel and concurrent applications. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 280 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 402. . 2006. Paperback. . . . .
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006
ISBN 10: 3540326049 ISBN 13: 9783540326045
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: New. Constitutes the refereed post-proceedings of the First International Conference on Hardware Verification, Software Testing, and PADTAD held in November 2005. This book includes papers that address various issues in hardware/software verification, software testing, and testing of parallel and concurrent applications. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 280 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 402. . 2006. Paperback. . . . . Books ship from the US and Ireland.
Language: English
Published by Springer-Verlag New York Inc, 2011
ISBN 10: 3642227597 ISBN 13: 9783642227592
Seller: Revaluation Books, Exeter, United Kingdom
US$ 114.30
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 2011 edition. 207 pages. 9.00x6.00x0.25 inches. In Stock.
Language: English
Published by Springer Berlin Heidelberg, 2006
ISBN 10: 3540326049 ISBN 13: 9783540326045
Seller: moluna, Greven, Germany
Condition: New. This book constitutes the refereed post-proceedings of the First International Conference on Hardware Verification, Software Testing, and PADTAD held in November 2005. The conference combines the sixth IBM Verification Workshop, the fourth IBM Software T.
Language: English
Published by Springer-Verlag GmbH, 2011
ISBN 10: 3642227597 ISBN 13: 9783642227592
Seller: Buchpark, Trebbin, Germany
US$ 9.32
Quantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Language: English
Published by Springer, Berlin, Springer Berlin Heidelberg, Springer, 2006
ISBN 10: 3540326049 ISBN 13: 9783540326045
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Neuware - 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.