Order Total (1 Item Items):
Shipping Destination:
Bochmann Gregor (97 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (88)
- 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 (2)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (7)
Condition Learn more
- New (67)
- As New, Fine or Near Fine (13)
- Very Good or Good (7)
- Fair or Poor (No further results match this refinement)
- As Described (10)
Binding
Collectible Attributes
- First Edition (1)
- Signed (1)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (41)
- Not Print on Demand (78)
Language (4)
Free Shipping
Seller Location
Seller Rating
-
Concepts For Distributed Systems Design (with 107 figures)
Seller: GloryBe Books & Ephemera, LLC, Deforest, WI, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. Pages tanned otherwise Good. NOT A FORMER LIBRARY BOOK.
-
Protocol Specification, Testing and Verification: 1986 6th: International Workshop Proceedings.
Language: English
Published by Elsevier Science Ltd, 1987
ISBN 10: 0444701265 ISBN 13: 9780444701268
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany
Seller rating 5 out of 5 stars
Pp. 440 Seiten Sehr gut erhalten. Fast neuwertig. Informatik Kybernetik 9780444701268 Sprache: Englisch Gewicht in Gramm: 734.
-
Architecture of Distributed Computer Systems (Lecture Notes In Computer Science 77)
Language: English
Published by Springer Verlag, Berlin, 1979
ISBN 10: 3540097236 ISBN 13: 9783540097235
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Good. Paperback, ex-library, with pen markings on front cover, and residue from tape and label over spine. Spine sides are rather worn and scuffed. Worn edges, leading corners and spine ends. Page block is tanned, with minor wear on head. Stamp on FEP. Pages are clean and clear. Lecture Notes in Computer Science 77. TS. Ex-Library.
-
Concepts for distributed systems design
Language: English
Published by Springer-Verlag, London, 1983
ISBN 10: 0387120491 ISBN 13: 9780387120492
Hardcover. Condition: Very Good. Dust Jacket Condition: No dj. Sound tight clean decent hardcover, 1983 printing, paper tanned, no wear or inscr. 259pp. Size: 8vo.
-
Protocol Specification, Testing, And Verification, VI
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. 427 pp., hardcover, ex library, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Architecture of Distributed Computer Systems (Lecture Notes in Computer Science)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1979
ISBN 10: 3540097236 ISBN 13: 9783540097235
Softcover. Condition: Bon. Ancien livre de bibliothèque. Traces de pliures sur la couverture. Traces d'usure sur la couverture. Salissures sur la tranche. Edition 1979. Tome 77. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Traces of creases on the cover. Signs of wear on the cover. Stains on the edge. Edition 1979. Volume 77. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Concepts for Distributed Systems Design
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1983
ISBN 10: 3540120491 ISBN 13: 9783540120490
Hardcover. Condition: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Petite(s) trace(s) de pliure sur la couverture. Edition 1983. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Slightly creased cover. Edition 1983. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Protocol Test Systems, V: Proceedings of the Ifip Tc6/Wg6.1 Fifth Working Conference on Protocol Test Systems, Montreal, Quebec, Canada, 28-
Language: English
Published by Elsevier Science Ltd, 1993
ISBN 10: 0444899804 ISBN 13: 9780444899804
Softcover. Condition: Très bon. Ancien livre de bibliothèque. Salissures sur la tranche. Couverture différente. Edition 1993. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Stains on the edge. Different cover. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Condition: New.
-
Condition: As New. Unread book in perfect condition.
-
CFIP'93, ingénierie des protocoles
Language: French
Published by Hermes Science Publications, 1993
ISBN 10: 2866013786 ISBN 13: 9782866013783
Softcover. Condition: Bon. Ancien livre de bibliothèque. Salissures sur la tranche. Edition 1993. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Stains on the edge. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Architecture of Distributed Computer Systems
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Concepts for distributed systems design.
Language: German
Published by Berlin , Heidelberg , New York : Springer, 1983
ISBN 10: 3540120491 ISBN 13: 9783540120490
Pp. Condition: Befriedigend. XI, 259 S. : 107 graph. Darst. , 25 cm Versand am folgenden Arbeitstag Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library aus Bibliothek Sprache: Deutsch Gewicht in Gramm: 550.
-
Architecture of Distributed Computer Systems
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
-
Computer Aided Verification (Paperback)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1993
ISBN 10: 3540564969 ISBN 13: 9783540564966
Paperback. Condition: new. Paperback. This volume gives the proceedings of the Fourth Workshop onComputer-Aided Verification (CAV '92), held in Montreal,June 29 - July 1, 1992. The objective of this series ofworkshops is to bring together researchers and practitionersinterested in the development and use of methods, tools andtheories for the computer-aided verification of concurrentsystems. The workshops provide an opportunity for comparingvarious verification methods and practical tools that can beused to assist the applications designer. Emphasis is placedon new research results and the application of existingresults to real verification problems. The volume contains 31 papers selected from 75 submissions. These are organized into parts on reduction techniques,proof checking, symbolic verification, timing verification,partial-order approaches, case studies, model and proofchecking, and other approaches. The volume starts with aninvited lecture by Leslie Lamport entitled"Computer-hindered verification (humans can do it too)". This volume gives the proceedings of the Fourth Workshop onComputer-Aided Verification (CAV '92), held in Montreal,June 29 - July 1, 1992. 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.
-
-
Testing of Communicating Systems: Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 2000), August 29-September 1, 2000, Ottawa, Canada
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 44.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Zweifarbige Lithographie: Waldhüter
Language: German
Published by o.J.
Seller: Antiquariat im Kaiserviertel | Wimbauer Buchversand, Dortmund, NRW, Germany
Seller rating 5 out of 5 stars
Blatt. Condition: Befriedigend. ca23,7x31,6 cm.- 1 Blatt, Kanten gering bestossen, papierbedingte Seitenbräunung.- Julia Hümmes Ausführungen in "Gregor von Bochmann (1850 - 1930)" folgend (S. 230, FN 525), handelt es sich wohl um die Kunstbeilage zur Zeitschrift Die Rheinlande, 1904/// Standort Wimregal . HAGG-1104 Sprache: Deutsch Gewicht in Gramm: 10.
-
Computer Aided Verification: Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings (Lecture Notes in Computer Science, 663)
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.
-
PF. Condition: New.
-
-
Condition: New. pp. 280.
-
Condition: New. pp. 444.
-
Computer Aided Verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
Language: English
Published by Springer Berlin Heidelberg, 1993
ISBN 10: 3540564969 ISBN 13: 9783540564966
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume gives the proceedings of the Fourth Workshop onComputer-Aided Verification (CAV '92), held in Montreal,June 29 - July 1, 1992. The objective of this series ofworkshops is to bring together researchers and practitionersinterested in the development and use of methods, tools andtheories for the computer-aided verification of concurrentsystems. The workshops provide an opportunity for comparingvarious verification methods and practical tools that can beused to assist the applications designer. Emphasis is placedon new research results and the application of existingresults to real verification problems.The volume contains 31 papers selected from 75 submissions.These are organized into parts on reduction techniques,proof checking, symbolic verification, timing verification,partial-order approaches, case studies, model and proofchecking, and other approaches. The volume starts with aninvited lectureby Leslie Lamport entitled'Computer-hindered verification (humans can do it too)'.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
