Principles of the Spin Model Checker - Mordechai Ben-Ari - Libros - Springer London Ltd - 9781846287695 - 8 de enero de 2008
En caso de que portada y título no coincidan, el título será el correcto

Mordechai Ben-Ari
Principles of the Spin Model Checker 2008 edition

Precio
$ 91,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 16 de jun. - 3 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

Principles of Spin is an introductory book, the only requirement is a background in programming. The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism.

220 pages, 1, black & white illustrations

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 8 de enero de 2008
ISBN13 9781846287695
Editores Springer London Ltd
Páginas 220
Dimensiones 141 × 222 × 24 mm   ·   535 g
Lengua Inglés  

Mas por Mordechai Ben-Ari

Mostrar todo

Mere med samme udgiver

Ver todo de Mordechai Ben-Ari ( Ej. Paperback Book y Hardcover Book )