Concurrency Verification: Introduction to Compositional and Non-Compositional Methods (Cambridge Tracts in Theoretical Computer Science) - Hardcover
Inhaltsangabe
An advanced 2001 textbook on verification of concurrent programs using a semantic approach which highlights concepts clearly.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Concurrency Verification: Introduction to Compositional...
Beispielbild für diese ISBN
Concurrency Verification Introduction to Compositional and Non-compositional Methods
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers ABBB-36679
Beispielbild für diese ISBN
Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEOCT25-101974
Beispielbild für diese ISBN
Concurrency Verification Introduction to Compositional and Non-compositional Methods
Anbieter: SMASS Sellers, IRVING, TX, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Bestandsnummer des Verkäufers SNTA-36679
Beispielbild für diese ISBN
Concurrency Verification
Verlag:
Cambridge University Press CUP, 2001
ISBN 10: 0521806089
ISBN 13: 9780521806084
Neu
Hardcover
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 800. Bestandsnummer des Verkäufers 26532284
Neu kaufen
EUR 125,44
EUR 3,49 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Concurrency Verification
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 800 Illus. Bestandsnummer des Verkäufers 8364259
Neu kaufen
EUR 127,12
EUR 7,62 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Concurrency Verification
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 800. Bestandsnummer des Verkäufers 18532278
Neu kaufen
EUR 128,28
EUR 9,95 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9780521806084_new
Neu kaufen
EUR 283,99
EUR 14,05 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Print-on-DemandAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Brand New. 798 pages. 9.00x6.25x1.50 inches. In Stock. This item is printed on demand. Bestandsnummer des Verkäufers __0521806089
Neu kaufen
EUR 301,32
EUR 17,59 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Concurrency Verification: Introduction to Compositional and Non-compositional Methods: 54 (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. An advanced 2001 textbook on verification of concurrent programs using a semantic approach which highlights concepts clearly. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 800 pages, 5 tables 156 exercises. BIC Classification: UM; UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 228 x 152 x 43. Weight in Grams: 1175. . 2001. hardcover. . . . . Bestandsnummer des Verkäufers V9780521806084
Neu kaufen
EUR 317,58
EUR 10,50 Versand
Versand von Irland nach USA
Versand von Irland nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Concurrency Verification
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Gebunden. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This 2001 book is an introduction to verifying concurrent programs scaling up to a realistic size. It is self-contained and comprehensive, guiding the reader from advanced undergraduate level. Every method is illustrated by examples, and a picture gallery o. Bestandsnummer des Verkäufers 446947932
Neu kaufen
EUR 281,66
EUR 48,99 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar