Conte aos seus amigos sobre este item:
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
Uwe Glässer
Preço
Fr. 69,49
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 15 - 25 de ago
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
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
Uwe Glässer
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 | 553 g |
| Idioma | English |
| Editor | Creissac Campos, Jose |
| Editor | Glasser, Uwe |
| Editor | Mery, Dominique |
| Editor | Palanque, Philippe |
![Cover for Uwe Glasser · A Distributed Implementation of Flat Concurrent PROLOG on Message-Passing Multiprocessor Systems - Teubner Texte Zur Informatik (Paperback Book) [Softcover Reprint of the Original 1st 1993 edition] (2012)](https://imusic.b-cdn.net/images/item/original/123/9783322976123.jpg?uwe-glasser-2012-a-distributed-implementation-of-flat-concurrent-prolog-on-message-passing-multiprocessor-systems-teubner-texte-zur-informatik-paperback-book&class=scaled&v=1609489461)