Specification and Proof in Real Time CSP - Distinguished Dissertations in Computer Science - Davies, Jim (University of Oxford) - Libros - Cambridge University Press - 9781107403864 - 12 de enero de 2012
En caso de que portada y título no coincidan, el título será el correcto

Davies, Jim (University of Oxford)
Specification and Proof in Real Time CSP - Distinguished Dissertations in Computer Science

Precio
$ 77,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 10 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:

Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. It is important therefore that we are able to employ mathematical techniques to specify the behaviour of critical safety systems. The research contained in this book represents work on the specification and verification of real-time systems.

200 pages, black & white illustrations

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 12 de enero de 2012
ISBN13 9781107403864
Editores Cambridge University Press
Páginas 200
Dimensiones 169 × 244 × 13 mm   ·   352 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de Davies, Jim (University of Oxford) ( Ej. Hardcover Book y Paperback Book )