Order Total (1 Item Items):
Shipping Destination:
Holzmann Gerard (71 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (71)
- 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 (11)
- Very Good or Good (16)
- Fair or Poor (3)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (3)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (25)
- Not Print on Demand (61)
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.
-
Paperback. Condition: Good. No Jacket. Missing dust jacket; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Paperback. Condition: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Paperback. Condition: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
-
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!
-
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.
-
The Early History of Data Networks
Language: English
Published by Wiley-IEEE Computer Society Pr, 1994
ISBN 10: 0818667826 ISBN 13: 9780818667824
paperback. Condition: Very Good. A clean, cared for item that is unmarked and shows limited shelf wear.
-
The Early History of Data Networks (Perspectives)
Language: English
Published by Wiley-IEEE Computer Society Pr, 1994
ISBN 10: 0818667826 ISBN 13: 9780818667824
Condition: good. Used - Good: A book that has been read but is in good condition. Very minimal damage to the cover including scuff marks, but no holes or tears. The dust jacket for hard covers may not be included. Binding has minimal wear. The majority of pages are undamaged with minimal creasing or tearing, minimal pencil underlining of text, no highlighting of text, no writing in margins. No missing pages.
-
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.
-
Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996 (DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE)
Language: English
Published by Amer Mathematical Society, 1997
ISBN 10: 0821805797 ISBN 13: 9780821805794
hardcover. Condition: Very Good. American Mathematical Society; Providence, 1997. Hardcover. A Very Good, binding sturdy and intact, some handling/scuff marks to boards, bit of crimping to spine edges, faint smudge marks top text block edge, rubbing to board corners, without Dust wrapper. A nice, clean and unmarked copy. 8vo[octavo or approx. 6 x 9 inches]. 403pp. We pack securely and ship daily with delivery confirmation on every book. The picture on the listing page is of the actual book for sale. Additional Scan(s) are available for any item, please inquire.Please note: Oversized books/sets MAY require additional postage then what is quoted for 2.2lb book.
-
The Spin Verification System: Dimacs Workshop, August 5, 1996
Language: English
Published by American Mathematical Society, 1997
ISBN 10: 0821806807 ISBN 13: 9780821806807
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Couverture différente. Edition 1997. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Edition 1997. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
The Early History of Data Networks
Language: English
Published by Wiley-IEEE Computer Society Pr, 1994
ISBN 10: 0818667826 ISBN 13: 9780818667824
Seller: Riverby Books (DC Inventory), Fredericksburg, VA, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: Very Good. Hardcover without dust jacket. Book is bound in glossy pictorial paper over boards with red and white lettering on the covers and spine. Binding is tight and secure. Corners are slightly bumped. Previous owners name written in black on the FFEP. Pages are otherwise crisp, clean, and bright. Images are printed in B&W. Harvard University Press. No date on title page. Copyright page is dated 1995. 291 pages. A good copy. We ship everyday from a real neighborhood bookstore. This description is written by an actual person, who is holding the book in front of them to make sure it?s properly described. Please contact us with questions or if you would like to see photographs.
-
The Spin Model Checker: Primer and Reference Manual
Language: English
Published by Addison-Wesley Professional, 2003
ISBN 10: 0321228626 ISBN 13: 9780321228628
Condition: good. Gently used with minimal wear on the corners and cover. A few pages may contain light highlighting or writing, but the text remains fully legible. Dust jacket may be missing, and supplemental materials like CDs or codes may not be included. May be ex-library with library markings. Ships promptly!
-
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 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: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
-
Condition: As New. Unread book in perfect condition.
-
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 (Lecture Notes in Computer Science, 6617)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 69.43
US$ 16.38 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
US$ 69.88
US$ 16.38 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
Language: English
Published by Addison-Wesley Professional, 2003
ISBN 10: 0321228626 ISBN 13: 9780321228628
Condition: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
-
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
US$ 70.81
US$ 20.51 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: 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
US$ 71.26
US$ 20.51 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
-
Paperback or Softback. Condition: New. NASA Formal Methods: Third International Symposium, Nfm 2011, Pasadena, Ca, Usa, April 18-20, 2011, Proceedings. Book.
