Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings - Lecture Notes in Computer Science - Joseph Sifakis - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540521488 - 10 de janeiro de 1990
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Joseph Sifakis

Preço
CA$ 76,99
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 15 - 21 de jul

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings - Lecture Notes in Computer Science 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

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 10 de janeiro de 1990
ISBN13 9783540521488
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 384
Dimensões 155 × 233 × 20 mm   ·   557 g
Idioma German  
Editor Sifakis, Joseph
Mostrar tudo

Mais por Joseph Sifakis

Ver tudo de Joseph Sifakis ( por exemplo Paperback Book e Hardcover Book )