Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings - Lecture Notes in Computer Science - - Knjige - Springer Nature Switzerland AG - 9783030775421 - 23. maja 2021
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings - Lecture Notes in Computer Science 1st ed. 2021 edition

Cena
€ 59,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 29. okt - 6. nov

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

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. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.

167 pages, 33 Illustrations, color; 8 Illustrations, black and white; X, 167 p. 41 illus., 33 illus.

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 23. maja 2021
ISBN13 9783030775421
Založniki Springer Nature Switzerland AG
Strani 167
Dimenzije 150 × 220 × 10 mm   ·   454 g
Jezik Nemščina  
Urednik Mery, Dominique
Urednik Raschke, Alexander

Več od istega **izdajatelja**