Automatic Verification of Sequential Infinite-state Processes - Lecture Notes in Computer Science - Burkart, O. (University of Dortmund, Germany) - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540639824 - 17 de diciembre de 1997
En caso de que portada y título no coincidan, el título será el correcto

Burkart, O. (University of Dortmund, Germany)
Automatic Verification of Sequential Infinite-state Processes - Lecture Notes in Computer Science

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

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

This monograph provides information for theoreticians interested in algebraic theories, as well as for software engineers building practical tools. The author presents the theoretical foundations needed for the verification of reactive, sequential infinite-state systems.

176 pages, 1 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 17 de diciembre de 1997
ISBN13 9783540639824
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 166
Dimensiones 155 × 235 × 10 mm   ·   258 g
Lengua Alemán  

Mere med samme udgiver

Ver todo de Burkart, O. (University of Dortmund, Germany) ( Ej. Paperback Book )