Rigorous State-Based Methods : 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings

Name: Rigorous State-Based Methods
Brand: Springer International Publishing AG
SKU: 9783031331626
Price: 11700 KES
Availability: OutOfStock
ISBN: 9783031331626

1st ed. 2023

Book Details

Format Paperback / softback

Book Series Lecture Notes in Computer Science

ISBN-10 3031331621

ISBN-13 9783031331626

Edition 1st ed. 2023

Publisher Springer International Publishing AG

Imprint Springer International Publishing AG

Country of Manufacture GB

Country of Publication GB

Publication Date May 15th, 2023

Print length 380 Pages

Product Classification: Mathematical theory of computation

KSh 11,700.00

Currently unavailable 0 in stock

Delivery Location

County

Location

Delivery fee: Select location

Secure

Quality

Fast

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.

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. The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also include 4 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.

Get Rigorous State-Based Methods by Dominique Mery at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has 380 pages.