Montant total (1 article articles) :
Destination de la commande :
bochmann gregor (80 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (71)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (2)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (7)
Etat En savoir plus
- Neuf (50)
- Comme neuf, Très bon ou Bon (14)
- Assez bon ou satisfaisant (6)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (10)
Particularités
- Ed. originale (1)
- Signé (1)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (37)
- Sans impressions à la demande (66)
Langue (4)
Livraison gratuite
Pays
Evaluation du vendeur
-
Concepts for Distributed Systems Design
Langue: anglais
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1983
ISBN 10 : 3540120491 ISBN 13 : 9783540120490
Bonne affaireEUR 3,14
Expédition à EUR 16,50
Expédition depuis France vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : 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.
-
Bonne affaire
EUR 3,14
Expédition à EUR 16,50
Expédition depuis France vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. Etat : 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.
-
Protocol Specification, Testing and Verification: 1986 6th: International Workshop Proceedings.
Vendeur : Roland Antiquariat UG haftungsbeschränkt, Weinheim, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 6
Expédition à EUR 14,95
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPp. 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)
Langue: anglais
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1979
ISBN 10 : 3540097236 ISBN 13 : 9783540097235
Bonne affaireEUR 5,55
Expédition à EUR 16,50
Expédition depuis France vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. 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.
-
Architecture of Distributed Computer Systems (Lecture Notes In Computer Science 77)
Langue: anglais
Edité par Springer Verlag, Berlin, 1979
ISBN 10 : 3540097236 ISBN 13 : 9783540097235
Vendeur : PsychoBabel & Skoob Books, Didcot, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 7,98
Expédition à EUR 14,44
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. 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.
-
Concepts for distributed systems design
Langue: anglais
Edité par Springer-Verlag, London, 1983
ISBN 10 : 0387120491 ISBN 13 : 9780387120492
Vendeur : Book Bungalow, Edinburgh, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 9,46
Expédition à EUR 16,17
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Very Good. Etat de la jaquette : No dj. Sound tight clean decent hardcover, 1983 printing, paper tanned, no wear or inscr. 259pp. Size: 8vo.
-
CFIP'93, ingénierie des protocoles
Langue: français
Edité par Hermes Science Publications, 1993
ISBN 10 : 2866013786 ISBN 13 : 9782866013783
Bonne affaireEUR 3,14
Expédition à EUR 16,50
Expédition depuis France vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. Etat : 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.
-
Architecture of Distributed Computer Systems
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 25,53
Expédition à EUR 2,24
Expédition nationale : Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
-
Architecture of Distributed Computer Systems
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 28,70
Expédition à EUR 2,24
Expédition nationale : Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : 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)
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 34,56
Expédition à EUR 5,93
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : 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
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 28,54
Expédition à EUR 17,32
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Concepts for distributed systems design.
Langue: allemand
Edité par Berlin , Heidelberg , New York : Springer, 1983
ISBN 10 : 3540120491 ISBN 13 : 9783540120490
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 3,84
Expédition à EUR 24
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPp. Etat : 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
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 32,26
Expédition à EUR 17,32
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Protocol Specification, Testing, And Verification, VI
Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 50,34
Expédition à EUR 3,82
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
-
Testing of Communicating Systems : Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 200
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 55,24
Expédition à EUR 2,24
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Testing of Communicating Systems : Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 200
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 57
Expédition à EUR 2,24
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Computer Aided Verification : Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 61,01
Expédition à EUR 2,24
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Zweifarbige Lithographie: Waldhüter
Langue: allemand
Edité par o.J.
Vendeur : Wimbauer Buchversand, Hagen, NRW, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 13,60
Expédition à EUR 15
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierBlatt. 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 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
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,95
Expédition à EUR 13,84
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Testing of Communicating Systems : Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 200
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,94
Expédition à EUR 17,32
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Computer Aided Verification: Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings (Lecture Notes in Computer Science, 663)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 59,99
Expédition à EUR 13,84
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Computer Aided Verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 57,07
Expédition à EUR 17,89
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
-
Concepts for Distributed Systems Design
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 56,87
Expédition à EUR 17,89
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
-
Computer Aided Verification : Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 73,68
Expédition à EUR 2,24
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Testing of Communicating Systems : Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 200
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 59,39
Expédition à EUR 17,32
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Computer Aided Verification : Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 59,98
Expédition à EUR 17,32
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Concepts for Distributed Systems Design
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 77,66
Expédition à EUR 3,39
Expédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 280.
-
Computer Aided Verification : Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 66,48
Expédition à EUR 17,32
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Computer Aided Verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Expédition à EUR 63,32
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. 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)'.
-
EUR 50,25
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Computer Aided Verification | Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings | Gregor von Bochmann (u. a.) | Taschenbuch | ix | Englisch | 1993 | Springer | EAN 9783540564966 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
