Order Total (1 Item Items):
Shipping Destination:
Hermanns Holger (120 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (120)
- 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 (88)
- As New, Fine or Near Fine (15)
- Very Good or Good (15)
- Fair or Poor (No further results match this refinement)
- As Described (2)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (120)
Collectible Attributes
- First Edition (5)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (61)
- Not Print on Demand (91)
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.
-
Validation of Stochastic Systems : A Guide to Current Research
Language: English
Published by Springer Berlin / Heidelberg, 2004
ISBN 10: 3540222650 ISBN 13: 9783540222651
First Edition
Condition: Very Good. 1st Edition. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
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.
-
Lectures on Formal Methods and Performance Analysis: First Eef Summer School on Trends in Computer Science, Berg En Dal, the Netherlands, July 3-7, 2000, Revised Lectures
Language: English
Published by Springer Verlag, Secaucus, New Jersey, U.S.A., 2001
ISBN 10: 3540424792 ISBN 13: 9783540424796
Paperback. Condition: Fine. Book is in excellent condition, with a hint of wear to edges and corners. Otherwise the book is in as new condition, with a solid binding, clean pages and attractive appearence.
-
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!
-
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. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science
Language: English
Published by Springer Berlin / Heidelberg, 2001
ISBN 10: 3540424792 ISBN 13: 9783540424796
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
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.
-
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science, 4590)
Language: English
Published by Springer (edition 2007), 2007
ISBN 10: 3540733671 ISBN 13: 9783540733676
Paperback. Condition: Very Good. 2007. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.
-
Tools and Algorithms for the Construction and Analysis of Systems : 12th International Conference, TACAS 2006, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March/April 2006, Proceedings
Language: English
Published by Springer Berlin / Heidelberg, 2006
ISBN 10: 3540330569 ISBN 13: 9783540330561
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
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.
-
Condition: New. pp. 584 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Condition: New. pp. 584.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Condition: New. pp. 584.
-
International EditionCondition: New. Brand New! Fast Delivery "International Edition " and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 4-6 Working days .and we do have flat rate for up to 2LB. Extra shipping charges will be requested This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
-
Validation of stochastic systems. a guide to current research.
Seller: Emile Kerssemakers ILAB, Heerlen, Netherlands
Seller rating 5 out of 5 stars
23 cm. original paperback. 466 pp. references. "Lecture Notes in Computer Science". -(libr labels, library stamp, otherwise good). 720g.
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
-
-
-
Condition: New.
-
-
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
Language: English
Published by Springer 17.08.2007., 2007
ISBN 10: 3540733671 ISBN 13: 9783540733676
Condition: Gut. Auflage: 2007. 584 Seiten MIT CD --- Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 25,9 x 15,2 x 3,0 cm, Taschenbuch.
-
Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 61.58
US$ 16.17 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 66.26
US$ 20.90 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
