Order Total (1 Item Items):
Shipping Destination:
Formal Methods Software Systems (218 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (218)
- 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 (164)
- As New, Fine or Near Fine (41)
- Very Good or Good (13)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
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 (94)
- Not Print on Demand (185)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
-
-
-
-
-
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
-
paperback. Condition: Good. exlibrary softcover book, usual library markings. has some light reader wear . Library stickers and stamps are present .
-
-
-
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
-
Condition: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
-
![Seller image for Formal Methods for Hardware Verification. 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006. [Notes in Computer Science, Vol. 3965]. for sale by Antiquariat Thomas Haker GmbH & Co. KG](https://pictures.abebooks.com/inventory/md/md31150894998.jpg)
Formal Methods for Hardware Verification. 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006. [Notes in Computer Science, Vol. 3965].
Language: English
Published by Berlin / Heidelberg, Springer, 2010
Seller: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germany
Association Member: GIAQ
Seller rating 5 out of 5 stars
Softcover/Paperback. Condition: Sehr gut. 256 p. Very good. Shrink wrapped. / Sehr guter Zustand. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 320.
-
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
-
Paperback. Condition: Very Good. Trade Paperback. Very Good. Clean, tight.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
-
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
