Order Total (1 Item Items):
Shipping Destination:
Holzmann Gerard (63 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (63)
- 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 (41)
- As New, Fine or Near Fine (10)
- Very Good or Good (10)
- Fair or Poor (2)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (18)
- Not Print on Demand (53)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Design And Validation Of Computer Protocols
Language: English
Published by Pearson Technology Group, 2008
ISBN 10: 0135399254 ISBN 13: 9780135399255
Paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
The Spin Model Checker: Primer and Reference Manual
Language: English
Published by Addison-Wesley Professional, 2003
ISBN 10: 0321228626 ISBN 13: 9780321228628
Seller: Bay State Book Company, North Smithfield, RI, U.S.A.
Seller rating 5 out of 5 stars
Condition: acceptable. The book is complete and readable, with all pages and cover intact. Dust jacket, shrink wrap, or boxed set case may be missing. Pages may have light notes, highlighting, or minor water exposure, but nothing that affects readability. May be an ex-library copy and could include library markings or stickers.
-
Design And Validation Of Computer Protocols
Language: English
Published by Pearson Technology Group, 2008
ISBN 10: 0135399254 ISBN 13: 9780135399255
Condition: very_good. This books is in Very good condition. There may be a few flaws like shelf wear and some light wear.
-
Early History Data Networks
Language: English
Published by Wiley-IEEE Computer Society PR, 1994
ISBN 10: 0818667826 ISBN 13: 9780818667824
Paperback. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
The Spin Model Checker: Primer and Reference Manual
Language: English
Published by Addison-Wesley Professional, 2003
ISBN 10: 0321228626 ISBN 13: 9780321228628
Hardcover. Condition: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
The Spin Model Checker: Primer and Reference Manual
Language: English
Published by Addison-Wesley Professional, 2003
ISBN 10: 0321228626 ISBN 13: 9780321228628
Condition: good. Signs of wear and consistent use.
-
The Early History of Data Networks
Language: English
Published by Wiley & Sons, Incorporated, John, 1994
ISBN 10: 0818667826 ISBN 13: 9780818667824
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
The Spin Model Checker: Primer and Reference Manual
Language: English
Published by Addison-Wesley Professional, 2003
ISBN 10: 0321228626 ISBN 13: 9780321228628
Condition: Like New. Page block firm and clean, binding unblemished, boards straight, without markings of any kind. Fine, like new condition. Without any discs, access codes or extra items. Supporting Bay Area Friends of the Library since 2010. Well packaged and promptly shipped.
-
The Spin Model Checker : Primer and Reference Manual
Language: English
Published by Pearson Education, Limited, 2003
ISBN 10: 0321228626 ISBN 13: 9780321228628
Condition: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
The Spin Verification System: Dimacs Workshop, August 5, 1996 (Dimacs Series in Discrete Mathematics and Theoretical Computer Science)
Language: English
Published by Oxford University Press 01.06.1997., 1997
ISBN 10: 0821806807 ISBN 13: 9780821806807
Condition: Sehr gut. 203 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 26,0 x 18,4 x 1,6 cm, Gebundene Ausgabe.
-
-
-
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Paperback or Softback. Condition: New. NASA Formal Methods: Third International Symposium, Nfm 2011, Pasadena, Ca, Usa, April 18-20, 2011, Proceedings. Book.
-
Condition: As New. Unread book in perfect condition.
-
NASA Formal Methods
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2011
ISBN 10: 3642203973 ISBN 13: 9783642203978
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. 2011th.
-
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings (Lecture Notes in Computer Science, 6617)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
The Spin Model Checker: Primer and Reference Manual
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
Gebundene Ausgabe; Condition: Gut. 3. Auflage;. 596 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber und kann entsprechende Merkmale aufweisen (Rückenschild, Instituts-Stempel.). In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 1130.
-
Nasa Formal Methods : Third International Symposium, Nfm 2011, Pasadena, Ca, USA, April 18-20, 2011, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Nasa Formal Methods : 7th International Symposium, Nfm 2015, Pasadena, Ca, USA, April 27-29, 2015, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Nasa Formal Methods : Third International Symposium, Nfm 2011, Pasadena, Ca, USA, April 18-20, 2011, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
-
Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996
Language: English
Published by Amer Mathematical Society, 1997
ISBN 10: 0821805797 ISBN 13: 9780821805794
Hardcover. Condition: Brand New. 403 pages. 10.50x7.50x1.00 inches. In Stock.
-
Early History of Data Networks
Language: English
Published by Wiley-IEEE Computer Society Pr, 1994
ISBN 10: 0818667826 ISBN 13: 9780818667824
Condition: As New. Unread book in perfect condition.
-
Condition: Poor. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In poor condition, suitable as a reading copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1150grams, ISBN:9780321228628.
-
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1150grams, ISBN:9780321228628.
-
Design And Validation Of Computer Protocols
Language: English
Published by Pearson Technology Group, 2008
ISBN 10: 0135399254 ISBN 13: 9780135399255
Paperback. Condition: new. New Copy. Customer Service Guaranteed.
-
The Early History of Data Networks
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
Nasa Formal Methods: 7th International Symposium, Nfm 2015, Pasadena, Ca, USA, April 27-29, 2015, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2015
ISBN 10: 3319175238 ISBN 13: 9783319175232
Paperback. Condition: Brand New. 2015 edition. 435 pages. 9.00x6.00x1.25 inches. In Stock.
