Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings: 12071 (Lecture Notes in Computer Science, 12071) - Softcover
Synopsis
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).
"synopsis" may belong to another edition of this title.
Search results for Rigorous State-Based Methods: 7th International Conference,...
Stock Image
Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27?29, 2020, Proceedings (Lecture Notes in Computer Science, 12071)
Seller: Unique Books For You, Aurora, IL, U.S.A.
Seller rating 4 out of 5 stars
paperback. Condition: As New. This book is in excellent condition, like new. Text clean & unmarked, solid binding. Minimal shelf/edge wear. In the mail within 24 hours. Seller Inventory # 55279-012624217DHD
Stock Image
Rigorous State-Based Methods (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 3 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # 07350365a975b3485fb51b86cef01746
Buy New
£ 41.07
£ 5.87 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Seller Image
Rigorous State-based Methods : 7th International Conference, Abz 2020, Ulm, Germany, May 27?29, 2020, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 41440035-n
Seller Image
Rigorous State-based Methods : 7th International Conference, Abz 2020, Ulm, Germany, May 27?29, 2020, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 41440035
Stock Image
Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings (Theoretical Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783030480769_new
Buy New
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Rigorous State-Based Methods : 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783030480769
Buy New
£ 47.90
£ 15.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Rigorous State-based Methods : 7th International Conference, Abz 2020, Ulm, Germany, May 27?29, 2020, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 41440035-n
Buy New
£ 50.38
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Rigorous State-Based Methods
Published by
Springer International Publishing Mai 2020, 2020
ISBN 10: 3030480763
ISBN 13: 9783030480769
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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). 440 pp. Englisch. Seller Inventory # 9783030480769
Stock Image
Rigorous State-based Methods : 7th Inter
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # V9783030480769
Seller Image
Rigorous State-based Methods : 7th International Conference, Abz 2020, Ulm, Germany, May 27?29, 2020, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 41440035
Buy Used
£ 58.19
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available