Order Total (1 Item Items):
Shipping Destination:
Robert Gerth (30 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (30)
- 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 (19)
- As New, Fine or Near Fine (3)
- Very Good or Good (8)
- 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 (10)
- Not Print on Demand (25)
Language (3)
Free Shipping
Seller Location
Seller Rating
-
Journey Through Switzerland
Language: English
Published by Verlagshaus Wurzburg GmbH & Company KG, 2002
ISBN 10: 3800309777 ISBN 13: 9783800309771
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.
-
Journey Through Switzerland (Journey Through series)
Language: English
Published by Verlagshaus Wurzburg, 2002
ISBN 10: 3800309777 ISBN 13: 9783800309771
Hardcover. Condition: As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less.
-
Journey Through Switzerland (Journey Through series)
Language: English
Published by Verlagshaus Wurzburg, 2002
ISBN 10: 3800309777 ISBN 13: 9783800309771
Hardcover. Condition: Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Journey Through Switzerland (Journey Through series)
Language: English
Published by Verlagshaus Wurzburg, 2002
ISBN 10: 3800309777 ISBN 13: 9783800309771
Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Journey Through Switzerland (Journey Through series)
Language: English
Published by Verlagshaus Wurzburg, 2002
ISBN 10: 3800309777 ISBN 13: 9783800309771
Hardcover. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Journey Through Switzerland
Language: English
Published by Verlagshaus Wurzburg September 2002, 2002
ISBN 10: 3800309777 ISBN 13: 9783800309771
Hardcover. Condition: Used - Very Good. Very nice clean, tight copy free of any marks.
-
I Have Returned: A Remembrance of the Pacific War After 35 Years
Published by Self Published, USA, 1982
Stapled Pamphlet. Condition: Good. No Jacket. Some light rubbing, edgewear and yellowing, some staining. Text has yellowed and has minor foxing. Size: 8vo - over 7¾" - 9¾" tall.
-
Paperback. Condition: Brand New. 516 pages. 8.25x5.25x1.25 inches. In Stock.
-
CHARACTER & SOCIAL STRUCTU
Language: English
Published by Houghton Mifflin Company H, 1964
ISBN 10: 015616759X ISBN 13: 9780156167598
Condition: New. pp. 516.
-
Journey Through Switzerland (Journey Through series)
Language: English
Published by Verlagshaus Wurzburg, 2002
ISBN 10: 3800309777 ISBN 13: 9783800309771
Hardcover. Condition: New.
-
Theoretical and Practical Aspects of SPIN Model Checking (Paperback)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1999
ISBN 10: 3540664998 ISBN 13: 9783540664994
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 5th and 6th international SPIN workshops on SPIN Model Checking, held as a satellite workshop of the Federated Logics Conference, FLoC'99, in Trento, Italy, July 1999, and as a user group meeting at the Formal Methods World Congress, FM'99, in Toulouse, France, in September 1999 respectively.Finite-state model checking, as it is supported by the explicit-state model checker SPIN, is enjoying constantly increasing popularity in automated property validation of concurrent, message based systems. This book presents up-to-date research results centered around SPIN as well as valuable surveys and summaries of application experience. Increasing the designers con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
-
-
Condition: As New. Unread book in perfect condition.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, ... (Lecture Notes in Computer Science, 1680)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Practical Aspects of Spin Model-Checking : 6th International Workshop, Spin'99, Held As Fm'99 User Group Meeting, Toulouse, France, September 21 and 24, 1999, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Practical Aspects of Spin Model-Checking : 6th International Workshop, Spin'99, Held As Fm'99 User Group Meeting, Toulouse, France, September 21 and 24, 1999, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Theoretical and Practical Aspects of SPIN Model Checking
Language: English
Published by Springer Berlin Heidelberg, 1999
ISBN 10: 3540664998 ISBN 13: 9783540664994
Condition: New.
-
Theoretical and Practical Aspects of SPIN Model Checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings
Language: English
Published by Springer Berlin Heidelberg, 1999
ISBN 10: 3540664998 ISBN 13: 9783540664994
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering.
-
-
Theoretical and Practical Aspects of SPIN Model Checking (Paperback)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1999
ISBN 10: 3540664998 ISBN 13: 9783540664994
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 5th and 6th international SPIN workshops on SPIN Model Checking, held as a satellite workshop of the Federated Logics Conference, FLoC'99, in Trento, Italy, July 1999, and as a user group meeting at the Formal Methods World Congress, FM'99, in Toulouse, France, in September 1999 respectively.Finite-state model checking, as it is supported by the explicit-state model checker SPIN, is enjoying constantly increasing popularity in automated property validation of concurrent, message based systems. This book presents up-to-date research results centered around SPIN as well as valuable surveys and summaries of application experience. Increasing the designers con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
Proceedings of the Ninth Workshop on Algorithm Engineering and Experiments and the Fourth Workshop on Analytic Algorithms and Combinatorics (Proceedings in Applied Mathematics, Series Number 216)
Language: English
Published by Society for Industrial and Applied Mathematics, 2007
ISBN 10: 0898716284 ISBN 13: 9780898716283
paperback. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Luzern: Vierwaldstättersee (Reisen in der Schweiz)
Seller: Versandantiquariat Felix Mücke, Grasellenbach - Hammelbach, Germany
Seller rating 5 out of 5 stars
hardcover. Condition: Befriedigend. 64 Seiten; 1994, ehem. Büchereiexemplar, Artikel stammt aus Nichtraucherhaushalt! F34-1052 Sprache: Deutsch Gewicht in Gramm: 1.
-
CHARACTER & SOCIAL STRUCTU
Language: English
Published by Houghton Mifflin Company, 1964
ISBN 10: 015616759X ISBN 13: 9780156167598
Condition: New. Print on Demand pp. 516.
-
CHARACTER & SOCIAL STRUCTU
Language: English
Published by Houghton Mifflin Company, 1964
ISBN 10: 015616759X ISBN 13: 9780156167598
Condition: New. PRINT ON DEMAND pp. 516.
-
Theoretical and Practical Aspects of SPIN Model Checking
Language: English
Published by Springer Berlin Heidelberg Sep 1999, 1999
ISBN 10: 3540664998 ISBN 13: 9783540664994
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 292 pp. Englisch.
-
Theoretical and Practical Aspects of SPIN Model Checking
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 1999, 1999
ISBN 10: 3540664998 ISBN 13: 9783540664994
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.
-
Taschenbuch. Condition: Neu. Theoretical and Practical Aspects of SPIN Model Checking | 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings | Dennis Dams (u. a.) | Taschenbuch | x | Englisch | 1999 | Springer | EAN 9783540664994 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
