Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach - Princeton Series in Computer Science - Robert P. Kurshan - Libros - Princeton University Press - 9780691606057 - 14 de julio de 2014
En caso de que portada y título no coincidan, el título será el correcto

Robert P. Kurshan
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach - Princeton Series in Computer Science

Precio
$ 57,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 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

Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodo

284 pages, black & white illustrations

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 14 de julio de 2014
ISBN13 9780691606057
Editores Princeton University Press
Páginas 284
Dimensiones 232 × 157 × 19 mm   ·   458 g
Lengua Inglés  

Mas por Robert P. Kurshan

Mostrar todo

Mere med samme udgiver

Ver todo de Robert P. Kurshan ( Ej. Paperback Book y Hardcover Book )