Importo totale (1 articolo articoli):
Destinazione ordine:
bochmann gregor (80 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (71)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (2)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (7)
Condizioni Maggiori informazioni
- Nuovo (49)
- Come nuovo, Ottimo o Quasi ottimo (12)
- Molto buono o Buono (7)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (12)
Legatura
Ulteriori caratteristiche
- Prima ed. (1)
- Copia autograf. (1)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (37)
- Non Print on Demand (67)
Lingua (3)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Concepts For Distributed Systems Design (with 107 figures)
Da: GloryBe Books & Ephemera, LLC, Deforest, WI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. Pages tanned otherwise Good. NOT A FORMER LIBRARY BOOK.
-
Concepts for Distributed Systems Design
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1983
ISBN 10: 3540120491 ISBN 13: 9783540120490
AffareEUR 3,15
Spedizione EUR 16,50
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: 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.
-
Architecture of Distributed Computer Systems (Lecture Notes in Computer Science)
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1979
ISBN 10: 3540097236 ISBN 13: 9783540097235
AffareEUR 5,55
Spedizione EUR 16,50
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: 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.
-
Architecture of Distributed Computer Systems (Lecture Notes In Computer Science 77)
Da: PsychoBabel & Skoob Books, Didcot, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 8,16
Spedizione EUR 14,76
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: 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
Da: Book Bungalow, Edinburgh, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 9,67
Spedizione EUR 16,53
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Very Good. Condizione sovraccoperta: No dj. Sound tight clean decent hardcover, 1983 printing, paper tanned, no wear or inscr. 259pp. Size: 8vo.
-
Architecture of Distributed Computer Systems
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Architecture of Distributed Computer Systems
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition.
-
Computer Aided Verification: Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings (Lecture Notes in Computer Science, 663)
Da: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
-
Architecture of Distributed Computer Systems
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 29,17
Spedizione EUR 17,71
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Architecture of Distributed Computer Systems
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 32,99
Spedizione EUR 17,71
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Computer Aided Verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
Lingua: Inglese
Editore: Springer Berlin / Heidelberg, 1993
ISBN 10: 3540564969 ISBN 13: 9783540564966
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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.
-
Testing of Communicating Systems : Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 200
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 56,44
Spedizione EUR 2,30
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Computer Aided Verification : Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 56,55
Spedizione EUR 2,30
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings (Paperback or Softback)
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback or Softback. Condizione: New. Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings. Book.
-
Testing of Communicating Systems : Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 200
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 58,02
Spedizione EUR 2,30
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Computer Aided Verification: Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings (Lecture Notes in Computer Science, 663)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 61,06
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Computer Aided Verification : Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 62,90
Spedizione EUR 2,30
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Zweifarbige Lithographie: Waldhüter
Lingua: Tedesco
Editore: o.J.
Da: Wimbauer Buchversand, Hagen, NRW, Germania
Valutazione del venditore 5 su 5 stelle
EUR 13,60
Spedizione EUR 15,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBlatt. Condizione: 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.
-
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
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 55,54
Spedizione EUR 14,14
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Testing of Communicating Systems : Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 200
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 55,53
Spedizione EUR 17,71
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Computer Aided Verification: Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings (Lecture Notes in Computer Science, 663)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 61,76
Spedizione EUR 14,14
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Concepts for Distributed Systems Design
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,13
Spedizione EUR 18,29
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Computer Aided Verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,33
Spedizione EUR 18,29
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Testing of Communicating Systems : Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 200
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,63
Spedizione EUR 17,71
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Computer Aided Verification : Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 61,34
Spedizione EUR 17,71
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Concepts for Distributed Systems Design
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 280.
-
Computer Aided Verification : Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 67,99
Spedizione EUR 17,71
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Protocol Specification, Testing, And Verification, VI
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Photos available upon request.
-
EUR 53,49
Spedizione EUR 63,32
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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)'.
-
Formal Description Techniques Viii
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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.
