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.
Gebraucht kaufen
Zustand: Gut bis sehr gutAncien livre de bibliothèque. Légères...
Diesen Artikel anzeigen
EUR 3,51
EUR 3,99 für den Versand von Frankreich nach Deutschland
Versandziele, Kosten & DauerNeu kaufen
Diesen Artikel anzeigen
EUR 107,62
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
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 Introduction to Compositional and Non-compositional Methods
Anbieter: SMASS Sellers, IRVING, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Bestandsnummer des Verkäufers ASNT3-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
Beispielbild für diese ISBN
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
Anbieter: ALLBOOKS1, Direk, SA, Australien
Verkäuferbewertung 5 von 5 Sternen
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Bestandsnummer des Verkäufers SHUB384375
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: Best Price, Torrance, CA, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. SUPER FAST SHIPPING. Bestandsnummer des Verkäufers 9780521806084
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
Anzahl: Mehr als 20 verfügbar