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 - 9780521169325 - 26 de enero de 2012
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
$ 110,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 17 de jun. - 6 de jul.

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

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, black & white illustrations

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 26 de enero de 2012
ISBN13 9780521169325
Editores Cambridge University Press
Páginas 800
Dimensiones 154 × 228 × 42 mm   ·   1,14 kg
Lengua Inglés  

Mere med samme udgiver

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