Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach - Princeton Legacy Library - 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 Legacy Library

Precio
$ 57,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 25 de jun. - 8 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:

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 )