Specification and Proof in Real Time CSP - Distinguished Dissertations in Computer Science - Davies, Jim (University of Oxford) - Libros - Cambridge University Press - 9780521450553 - 20 de mayo de 1993
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
$ 152,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.

198 pages, d.

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 20 de mayo de 1993
ISBN13 9780521450553
Editores Cambridge University Press
Páginas 200
Dimensiones 181 × 256 × 13 mm   ·   498 g
Lengua Inglés  

Mere med samme udgiver

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