Reactive Systems: Modelling, Specification and Verification - Aceto, Luca (University of Iceland, Reykjavik) - Libros - Cambridge University Press - 9780521875462 - 9 de agosto de 2007
En caso de que portada y título no coincidan, el título será el correcto

Aceto, Luca (University of Iceland, Reykjavik)
Reactive Systems: Modelling, Specification and Verification

Precio
Mex$ 2.769
sin IVA

Pedido desde almacén remoto

Entrega prevista 9 - 19 de nov.
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Recibe notificaciones sobre nuevos lanzamientos de Aceto, Luca (University of Iceland, Reykjavik)

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

This accessible text describes the process algebraic approach to the specification and verification of software and software systems using mathematical logic. Offering a balanced introduction for graduate students, the book describes all the various approaches, their strengths and weaknesses, and when they are best used.

300 pages, 28 b/w illus. 7 tables 188 exercises

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 9 de agosto de 2007
ISBN13 9780521875462
Editores Cambridge University Press
Páginas 302
Dimensiones 183 × 256 × 22 mm   ·   647 g
Lengua Inglés  

Más del mismo editor

Ver todo de Aceto, Luca (University of Iceland, Reykjavik)