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
Mex$ 1.147
sin IVA

Pedido desde almacén remoto

Entrega prevista 11 - 27 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Burkart, O. (University of Dortmund, Germany)

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 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  

Más del mismo editor

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