Artículos relacionados a 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) - Tapa dura
Sinopsis
An advanced 2001 textbook on verification of concurrent programs using a semantic approach which highlights concepts clearly.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del 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.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialCambridge University Press
- Año de publicación2001
- ISBN 10 0521806089
- ISBN 13 9780521806084
- EncuadernaciónTapa dura
- IdiomaInglés
- Número de páginas800
- Contacto del fabricanteno disponible
Comprar nuevo
Ver este artículo
EUR 111,47
GRATIS gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Concurrency Verification Hardback: Introduction to...
Imagen de archivo
Concurrency Verification
Publicado por
Cambridge University Press, 2011
ISBN 10: 0521806089
ISBN 13: 9780521806084
Antiguo o usado
Tapa dura
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: 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. Nº de ref. del artículo: E-086-963
Cantidad disponible: 1 disponibles
Imagen de archivo
Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Publicado por
Cambridge University Press, 2001
ISBN 10: 0521806089
ISBN 13: 9780521806084
Antiguo o usado
Tapa dura
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: 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. Nº de ref. del artículo: E-577-985
Cantidad disponible: 1 disponibles
Imagen de archivo
Concurrency Verification Introduction to Compositional and Non-compositional Methods
Publicado por
Cambridge University Press, 2001
ISBN 10: 0521806089
ISBN 13: 9780521806084
Nuevo
Tapa dura
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: 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. Nº de ref. del artículo: ABNR-36570
Cantidad disponible: 2 disponibles
Imagen de archivo
Concurrency Verification
Publicado por
Cambridge University Press CUP, 2001
ISBN 10: 0521806089
ISBN 13: 9780521806084
Nuevo
Tapa dura
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 800. Nº de ref. del artículo: 26532284
Cantidad disponible: 4 disponibles
Imagen de archivo
Concurrency Verification
Publicado por
Cambridge University Press, 2001
ISBN 10: 0521806089
ISBN 13: 9780521806084
Nuevo
Tapa dura
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 800 Illus. Nº de ref. del artículo: 8364259
Cantidad disponible: 4 disponibles
Imagen de archivo
Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Publicado por
Cambridge University Press, 2001
ISBN 10: 0521806089
ISBN 13: 9780521806084
Nuevo
Tapa dura
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEJUNE24-384375
Cantidad disponible: 3 disponibles
Imagen de archivo
Concurrency Verification
Publicado por
Cambridge University Press, 2001
ISBN 10: 0521806089
ISBN 13: 9780521806084
Nuevo
Tapa dura
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 800. Nº de ref. del artículo: 18532278
Cantidad disponible: 4 disponibles
Imagen de archivo
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
Publicado por
Cambridge University Press, 2001
ISBN 10: 0521806089
ISBN 13: 9780521806084
Nuevo
Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9780521806084_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Concurrency Verification
Publicado por
Cambridge University Press, 2011
ISBN 10: 0521806089
ISBN 13: 9780521806084
Nuevo
Tapa dura
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Gebunden. Condición: 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. Nº de ref. del artículo: 446947932
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Impresión bajo demandaLibrería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Brand New. 798 pages. 9.00x6.25x1.50 inches. In Stock. This item is printed on demand. Nº de ref. del artículo: __0521806089
Cantidad disponible: 1 disponibles