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.
Neu kaufen
Diesen Artikel anzeigen
EUR 107,38
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: 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
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
Anbieter: UK BOOKS STORE, London, LONDO, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: New. Brand New! Fast Delivery US Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability. Bestandsnummer des Verkäufers AT 9780521806084
Anzahl: 6 verfügbar
Beispielbild für diese ISBN
Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Anbieter: URW Books Store, CASPER, WY, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Brand New. Brand New! Fast Delivery, Delivery within 7-12 working Day Only, USA Edition Original Edition. Excellent Quality, Printing in English Language, Quick delivery by FEDEX & DHL. USPS & UPS Act. Our courier service is not available at PO BOX& APO BOX. Ship from India & United States. Bestandsnummer des Verkäufers Atbooks8304
Anzahl: 6 verfügbar