Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer communications & networking

Buy Now

Rigorous State-Based Methods - 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings (Paperback, 1st ed. 2021) Loot Price: R1,767

Discovery Miles 17 670

Repayment Terms: R166 pm x 12*

Add to cart

Rigorous State-Based Methods - 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings (Paperback,...

Rigorous State-Based Methods - 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings (Paperback, 1st ed. 2021)

Alexander Raschke, Dominique Mery

Series: Lecture Notes in Computer Science, 12709

(sign in to rate)

Loot Price R1,767 Discovery Miles 17 670 | Repayment Terms: R166 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the COVID-19 pandemic. The 6 full and 8 short papers included in this volume were carefully reviewed and selected from 18 submissions. The proceedings also include 3 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.

General

Imprint:	Springer Nature Switzerland AG
Country of origin:	Switzerland
Series:	Lecture Notes in Computer Science, 12709
Release date:	May 2021
First published:	2021
Editors:	Alexander Raschke • Dominique Mery
Dimensions:	235 x 155mm (L x W)
Format:	Paperback
Pages:	167
Edition:	1st ed. 2021
ISBN-13:	978-3-03-077542-1
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer communications & networking > General Books > Computing & IT > Computer programming > Programming languages > General Books > Computing & IT > Applications of computing > Databases > General Books > Computing & IT > Applications of computing > Artificial intelligence > General Promotions
LSN:	3-03-077542-9
Barcode:	9783030775421