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 - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings (Paperback, 1st ed. 2020) Loot Price: R1,564

Discovery Miles 15 640

Repayment Terms: R147 pm x 12*

Add to cart

Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings (Paperback,...

Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings (Paperback, 1st ed. 2020)

Alexander Raschke, Dominique Mery, Frank Houdek

Series: Theoretical Computer Science and General Issues, 12071

(sign in to rate)

Loot Price R1,564 Discovery Miles 15 640 | Repayment Terms: R147 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. The conference was cancelled due to the COVID-19 pandemic. The 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers, 6 PhD-Symposium-contributions, as well as the case study and 6 accepted papers outlining solutions to it. The papers are organized in the following sections: keynotes and invited papers; regular research articles; short articles; articles contributing to the case study; short articles of the PhD-symposium (work in progress).

General

Imprint:	Springer Nature Switzerland AG
Country of origin:	Switzerland
Series:	Theoretical Computer Science and General Issues, 12071
Release date:	May 2020
First published:	2020
Editors:	Alexander Raschke • Dominique Mery • Frank Houdek
Dimensions:	235 x 155mm (L x W)
Format:	Paperback
Pages:	428
Edition:	1st ed. 2020
ISBN-13:	978-3-03-048076-9
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > General theory of computing > Data structures Books > Computing & IT > Computer programming > Algorithms & procedures Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Computer communications & networking > General Books > Computing & IT > Applications of computing > Artificial intelligence > General Promotions
LSN:	3-03-048076-3
Barcode:	9783030480769