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

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

Price
$ 81.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 2 - 8

Our customers say:

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

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 150 × 220 × 10 mm   ·   553 g
Language English  
Editor Creissac Campos, Jose
Editor Glasser, Uwe
Editor Mery, Dominique
Editor Palanque, Philippe

More by Uwe Glässer

Show all

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