A Survey of Verification Techniques for Parallel Programs: 191 (Lecture Notes in Computer Science) - Softcover
Suchergebnisse für A Survey of Verification Techniques for Parallel Programs:...
Beispielbild für diese ISBN
A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. 0387152393 Ex-library paperback in very nice condition with the usual markings and attachments. Bestandsnummer des Verkäufers UTD14a2524
Foto des Verkäufers
A Survey of Verification Techniques for Parallel Programs - Lecture Notes in Computer Science 191
Verlag:
Springer-Verlag, Berlin, Heidelberg, New York, Tokyo, 1985
ISBN 10: 3540152393
ISBN 13: 9783540152392
Gebraucht
Paperback
Anbieter: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: 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. Bestandsnummer des Verkäufers 625225
Beispielbild für diese ISBN
A Survey of Verification Techniques for Parallel Programs
Verlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1985
ISBN 10: 3540152393
ISBN 13: 9783540152392
Gebraucht
Softcover
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: 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. Bestandsnummer des Verkäufers E-576-310
Gebraucht kaufen
EUR 3,00
Versand:
EUR 22,50
Von Frankreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
A Survey of Verification Techniques for Parallel Programs
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540152392_new
Neu kaufen
EUR 26,90
Versand:
EUR 13,68
Von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
A Survey of Verification Techniques for Parallel Programs
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020160552
Neu kaufen
EUR 38,76
Versand:
EUR 3,44
Innerhalb der USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
A Survey of Verification Techniques for Parallel Programs
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783540152392
Neu kaufen
EUR 24,99
Versand:
EUR 17,69
Von Vereinigtes Königreich nach USA
Anzahl: 10 verfügbar
Foto des Verkäufers
A Survey of Verification Techniques for Parallel Programs
Verlag:
Springer Berlin Heidelberg Mai 1985, 1985
ISBN 10: 3540152393
ISBN 13: 9783540152392
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783540152392
Neu kaufen
EUR 24,60
Versand:
EUR 23,00
Von Deutschland nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
A Survey of Verification Techniques for Parallel Programs
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 128. Bestandsnummer des Verkäufers 263058618
Foto des Verkäufers
A Survey of Verification Techniques for Parallel Programs
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: 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 . Bestandsnummer des Verkäufers 4882557
Neu kaufen
EUR 24,66
Versand:
EUR 48,99
Von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
A Survey of Verification Techniques for Parallel Programs
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Print on Demand pp. 128 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Bestandsnummer des Verkäufers 5837925
Neu kaufen
EUR 68,22
Versand:
EUR 7,42
Von Vereinigtes Königreich nach USA
Anzahl: 4 verfügbar