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 - Books - Springer International Publishing AG - 9783031331626 - May 15, 2023
In case cover and title do not match, the title is correct

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

Price
CA$ 117.59

Ordered from remote warehouse

Expected delivery Aug 6 - 14

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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

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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released May 15, 2023
ISBN13 9783031331626
Publishers Springer International Publishing AG
Pages 380
Dimensions 553 g
Language English  
Editor Creissac Campos, Jose
Editor Glasser, Uwe
Editor Mery, Dominique
Editor Palanque, Philippe
Show all

More by Uwe Glässer

See all of Uwe Glässer ( e.g. Paperback Book )