Montant total (1 article articles) :
Destination de la commande :
survey verification techniques parallel de barringer (14 résultats)
Commentaires
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (14)
- 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 (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Reliure
- Toutes
- Couverture rigide (Aucun autre résultat ne correspond à ces critères)
- Couverture souple (14)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (6)
- Sans impressions à la demande (12)
Langue (1)
Prix
- Tous les prix
- Moins de EUR 20
- EUR 20 à EUR 45
- Plus de EUR 45 (Aucun autre résultat ne correspond à ces critères)
Livraison gratuite
- Livraison gratuite à destination de France (Aucun autre résultat ne correspond à ces critères)
Pays
Evaluation du vendeur
-
EUR 2,71
Autre deviseEUR 2,50 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
-
A Survey of Verification Techniques for Parallel Programs
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1985
ISBN 10 : 3540152393 ISBN 13 : 9783540152392
Langue: anglais
EUR 17,26
Autre deviseEUR 3,50 expédition vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. Etat : Bon. Ancien livre de bibliothèque. Livre un peu vrillé. Edition 1985. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Book slightly twisted. Edition 1985. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
A Survey of Verification Techniques for Parallel Programs
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1985
ISBN 10 : 3540152393 ISBN 13 : 9783540152392
Langue: anglais
EUR 20,14
Autre deviseEUR 3,50 expédition vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. Etat : Très bon. Ancien livre de bibliothèque. Edition 1985. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1985. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science 191)
Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 5,73
Autre deviseEUR 21,38 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. 114 pp., Paperback, ex library, else text and binding clean and 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.
-
A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science, 191)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 28,44
Autre deviseEUR 4,68 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
A Survey of Verification Techniques for Parallel Programs
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 24
Autre deviseEUR 11,14 expédition depuis Royaume-Uni vers FranceQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
-
A Survey of Verification Techniques for Parallel Programs
Edité par Springer Berlin Heidelberg, 1985
ISBN 10 : 3540152393 ISBN 13 : 9783540152392
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 24,60
Autre deviseEUR 10,99 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs.- Apt, Francez & de Roever: Verification of CSP.- Barringer & Mearns: Verification of Ada Tasks.- Levin & Gries: Verification of CSP.- Misra & Chandy: Proofs of process networks.- Zhou & Hoare: Correctness of communicating processes.- Conclusions.
-
A Survey of Verification Techniques for Parallel Programs - Lecture Notes in Computer Science 191
Edité par Springer-Verlag, Berlin, Heidelberg, New York, Tokyo, 1985
ISBN 10 : 3540152393 ISBN 13 : 9783540152392
Langue: anglais
Vendeur : Munster & Company LLC, ABAA/ILAB, Corvallis, OR, Etats-Unis
Membre d'association : ABAA CBA ILAB
Évaluation du vendeur 5 sur 5 étoiles
EUR 17,62
Autre deviseEUR 21,38 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Berlin, Heidelberg, New York, Tokyo: Springer-Verlag, 1985. 114 pp. 24 x 16.5 cm. Minor bumping along tail-edge of covers; bump to top fore-edge corner. Toning to edges of text block and interior of book. Interior is clean and unmarked. Binding is firm. Soft Cover. Very Good.
-
A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science)
Edité par Springer-Verlag 01.09.1985., 1985
ISBN 10 : 0387152393 ISBN 13 : 9780387152394
Langue: anglais
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 31,03
Autre deviseEUR 9 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Gut. ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 550.
-
A Survey of Verification Techniques for Parallel Programs
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Mai 1985, 1985
ISBN 10 : 3540152393 ISBN 13 : 9783540152392
Langue: anglais
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 24,60
Autre deviseEUR 19,99 expédition depuis Allemagne vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware -Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs.- Apt, Francez & de Roever: Verification of CSP.- Barringer & Mearns: Verification of Ada Tasks.- Levin & Gries: Verification of CSP.- Misra & Chandy: Proofs of process networks.- Zhou & Hoare: Correctness of communicating processes.- Conclusions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 128 pp. Englisch.
-
A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science)
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 7,05
Autre deviseEUR 55,59 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. 0387152393 Ex-library paperback in very nice condition with the usual markings and attachments.
-
A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science, 191)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 38,44
Autre deviseEUR 64,14 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
A Survey of Verification Techniques for Parallel Programs
Edité par Springer Berlin Heidelberg, 1985
ISBN 10 : 3540152393 ISBN 13 : 9783540152392
Langue: anglais
EUR 24,66
Autre deviseEUR 9,70 expédition depuis Allemagne vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs.- Apt, Francez & de Roever: Verification of CSP.- Barringer .
-
A Survey of Verification Techniques for Parallel Programs
Edité par Springer Berlin Heidelberg Mai 1985, 1985
ISBN 10 : 3540152393 ISBN 13 : 9783540152392
Langue: anglais
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 24,60
Autre deviseEUR 11 expédition depuis Allemagne vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs.- Apt, Francez & de Roever: Verification of CSP.- Barringer & Mearns: Verification of Ada Tasks.- Levin & Gries: Verification of CSP.- Misra & Chandy: Proofs of process networks.- Zhou & Hoare: Correctness of communicating processes.- Conclusions. 128 pp. Englisch.
