Joseph Sifakis
Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings - Lecture Notes in Computer Science Joseph Sifakis 1990 edition

Name: Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings - Lecture Notes in Computer Science
Price: 964 MXN
Availability: OutOfStock
Author: Joseph Sifakis

Precio

Mex$ 964

sin IVA

Pedido desde almacén remoto

Entrega prevista 31 de jul. - 12 de ago.

Recibe notificaciones sobre nuevos lanzamientos de Joseph Sifakis

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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

Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings - Lecture Notes in Computer Science

Joseph Sifakis

1990 edition

This was the first workshop entirely devoted to the verification of finite state systems. The workshop brought together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of finite state systems.

384 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	10 de enero de 1990
ISBN13	9783540521488
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	384
Dimensiones	155 × 233 × 20 mm · 557 g
Lengua	Alemán
Editor	Sifakis, Joseph