Order Total (1 Item Items):
Shipping Destination:
Model Checking Software 16th (7 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (7)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (5)
- As New, Fine or Near Fine (2)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (7)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (2)
- Not Print on Demand (7)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
-
-
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Model Checking Software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings
Language: English
Published by Springer Berlin Heidelberg, 2009
ISBN 10: 3642026516 ISBN 13: 9783642026515
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Checking Software, SPIN 2009, held in Grenoble, France, in June 2009.The 15 revised full papers presented together with 3 tool papers and 4 invited talks were carefully reviewed and selected from 41 submissions. The papers cover theoretical and algorithmic foundations as well as tools for software model checking by addressing theoretical advances and empirical evaluations related to state-space and path exploration techniques, as implemented in software verification tools.
-
Taschenbuch. Condition: Neu. Model Checking Software | 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings | Corina S Pasareanu | Taschenbuch | x | Englisch | 2009 | Springer | EAN 9783642026515 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
£ 35.97 10% off
£ 32.38
£ 92.19 shipping
Ships from Germany to U.S.A.Quantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Seiten: 308 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
