Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings - Lecture Notes in Computer Science - Grigore Rosu-Owolabi Legunsen - Knjige - Springer International Publishing AG - 9783031150760 - 23. avgusta 2022
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Grigore Rosu-Owolabi Legunsen
Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings - Lecture Notes in Computer Science 1st ed. 2022 edition

Cena
€ 96,99

Naročeno iz oddaljenega skladišča

Predvidena dobava 8. - 16. okt
Prejemajte obvestila o novih izdajah izvajalca Grigore Rosu-Owolabi Legunsen

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 refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.The 8 full papers were carefully reviewed and selected from 11 submissions. formal analysis for modeling languages, such as UML/state charts;

153 pages, 26 Illustrations, color; 14 Illustrations, black and white; IX, 153 p. 40 illus., 26 illu

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 23. avgusta 2022
ISBN13 9783031150760
Založniki Springer International Publishing AG
Strani 153
Dimenzije 156 × 233 × 15 mm   ·   264 g
Jezik Nemščina  
Urednik Legunsen, Owolabi
Urednik Rosu, Grigore

Več od istega **izdajatelja**

Ogled vseh Grigore Rosu-Owolabi Legunsen