Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings (International Workshop, Cav '92, Montreal, Canada, June 29-july 1, 1992 - Proceedings) - Lecture Notes in Computer Science - Gregor Von Bochmann - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540564966 - 30 de marzo de 1993
En caso de que portada y título no coincidan, el título será el correcto

Gregor Von Bochmann
Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings (International Workshop, Cav '92, Montreal, Canada, June 29-july 1, 1992 - Proceedings) - 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 volume contains the proceedings of a workshop which brought together researchers interested in the development and use of methods, tools and theories for the computer-aided verification of concurrent systems. It compares verification methods and tools that assist the applications designer.

426 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 30 de marzo de 1993
ISBN13 9783540564966
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 426
Dimensiones 155 × 233 × 22 mm   ·   616 g
Lengua Alemán  
Editor Bochmann, Gregor V.
Editor Probst, D.k.

Mere med samme udgiver

Ver todo de Gregor Von Bochmann ( Ej. Paperback Book )