Concurrency Verification: Introduction to Compositional and Non-compositional Methods - Cambridge Tracts in Theoretical Computer Science - Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel, Germany) - Libros - Cambridge University Press - 9780521806084 - 26 de noviembre de 2001
En caso de que portada y título no coincidan, el título será el correcto

Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel, Germany)
Concurrency Verification: Introduction to Compositional and Non-compositional Methods - Cambridge Tracts in Theoretical Computer Science

Precio
Mex$ 5.018
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jul. - 14 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel, Germany)

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Aún no valorado

También disponible como:

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 of some of the subject's key figures complements the text.

800 pages, 5 tables 156 exercises

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 26 de noviembre de 2001
ISBN13 9780521806084
Editores Cambridge University Press
Páginas 800
Dimensiones 160 × 235 × 43 mm   ·   1,18 kg
Lengua Inglés  

Más del mismo editor

Ver todo de Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel, Germany) ( Ej. Paperback Book y Hardcover Book )