Verwandte Artikel zu Concurrency Verification Hardback: Introduction to...
Concurrency Verification Hardback: Introduction to Compositional and Non-compositional Methods: 54 (Cambridge Tracts in Theoretical Computer Science, Series Number 54) - 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.
Über die Autorin bzw. den Autor
Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagCambridge University Press
- Erscheinungsdatum2001
- ISBN 10 0521806089
- ISBN 13 9780521806084
- EinbandTapa dura
- SpracheEnglisch
- Anzahl der Seiten800
- Kontakt zum HerstellerNicht verfügbar
Gebraucht kaufen
Zustand: Gut bis sehr gutAncien livre de bibliothèque. Légères...
Diesen Artikel anzeigen
EUR 54,99
EUR 3,99 für den Versand von Frankreich nach Deutschland
Versandziele, Kosten & DauerNeu kaufen
Diesen Artikel anzeigen
EUR 110,98
Gratis für den Versand von USA nach Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Concurrency Verification Hardback: Introduction to...
Beispielbild für diese ISBN
Concurrency Verification
Verlag:
Cambridge University Press, 2011
ISBN 10: 0521806089
ISBN 13: 9780521806084
Gebraucht
Hardcover
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Salissures sur la tranche. Edition 2011. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Stains on the edge. Edition 2011. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers E-086-963
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Verlag:
Cambridge University Press, 2001
ISBN 10: 0521806089
ISBN 13: 9780521806084
Gebraucht
Hardcover
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 2001. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers E-577-985
Anzahl: 1 verfügbar
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 ABEJUNE24-384375
Anzahl: 3 verfügbar
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 ABNR-36570
Anzahl: 2 verfügbar
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
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Concurrency Verification
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 800. Bestandsnummer des Verkäufers 18532278
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Concurrency Verification
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 800 Illus. Bestandsnummer des Verkäufers 8364259
Anzahl: 4 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
Anzahl: Mehr als 20 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
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
Anzahl: 1 verfügbar