Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings - Lecture Notes in Computer Science - Uwe Glässer - Livros - Springer International Publishing AG - 9783031331626 - 15 de maio de 2023
Caso a capa e o título não sejam correspondentes, considere o título como correto

Uwe Glässer
Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings - Lecture Notes in Computer Science 1st ed. 2023 edition

Preço
R$ 434,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 1 - 7 de out
Receba avisos sobre novos lançamentos de Uwe Glässer

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

Ainda não avaliado

This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.

380 pages, 107 Illustrations, color; 24 Illustrations, black and white; XIII, 380 p. 131 illus., 107

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 15 de maio de 2023
ISBN13 9783031331626
Editoras Springer International Publishing AG
Páginas 380
Dimensões 150 × 220 × 10 mm   ·   553 g
Idioma Inglês  
Editor Creissac Campos, Jose
Editor Glasser, Uwe
Editor Mery, Dominique
Editor Palanque, Philippe

Mais por Uwe Glässer

Mostrar tudo

Mais da mesma editora

Ver tudo de Uwe Glässer