Bochmann gregor (75 résultats)

Hardcover. Etat : Good. Pages tanned otherwise Good. NOT A FORMER LIBRARY BOOK.

Softcover. Etat : 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. …

Paperback. Etat : 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. …

Hardcover. Etat : Very Good. No dj. Sound tight clean decent hardcover, 1983 printing, paper tanned, no wear or inscr. 259pp. Size: 8vo.

Etat : As New. Unread book in perfect condition.

Etat : New.

Etat : New.

Etat : 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.

Etat : New.

Paperback or Softback. Etat : New. Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings. Book.

Etat : As New. Unread book in perfect condition.

Etat : New.

Etat : As New. Unread book in perfect condition.

Blatt. Etat : 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 WITHIN THE EU: shipping only to GERMANY and AUSTRIA due to the new EPR regulations. Sprache: Deutsch Gewicht in Gramm: 10.…

Etat : New.

Etat : As New. Unread book in perfect condition.

Etat : New.

Etat : As New. Unread book in perfect condition.

Etat : New. pp. 280.

Taschenbuch. Etat : 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)'.…

Taschenbuch. Etat : Neu. Neuware.

Etat : Good. *Price HAS BEEN REDUCED by 10% until Monday, Nov. 2 (weekend sale item)* 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. Photos available upon request.…

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Etat : 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.

Etat : Used. pp. 474.

Etat : Used. pp. 474 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.

Etat : Used. pp. 474.

Etat : As New. Unread book in perfect condition.

Taschenbuch. Etat : Neu. 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 | Hasan Ural (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2012 | Springer Us | EAN 9781475710168 | Verantwortliche Person für die EU: Springer Heidelberg, Tiergartenstr. 17, 69121 Heidelberg, buchhandel-buch[at]springer[dot]com | Anbieter: preigu.…

Etat : New. Presents some of the international results in both the theory and industrial practice of the testing of communicating systems. This title discusses topics that range from tools and techniques for testing to test standards, frameworks, notations, algorithms, fundamentals of testing, and industrial experiences and issues. Editor(s): Ural, Hasan; Probert, Robert L.; Bochmann, Gregor von. Series: IFIP Advances in Information and Communication Technology. Num Pages: 336 pages, biography. BIC Classification: TJK; UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 1440. . 2000. Hardback. . . . .…