Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings - Lecture Notes in Computer Science - - Grāmatas - Springer International Publishing AG - 9783031150760 - 2022. gada 23. augusts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 103,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 10. - 18. aug.

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

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

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2022. gada 23. augusts
ISBN13 9783031150760
Izdevēji Springer International Publishing AG
Lapas 153
Izmēri 156 × 233 × 15 mm   ·   264 g
Valoda Vācu  
Redaktors Legunsen, Owolabi
Redaktors Rosu, Grigore

Vairāk no tā paša izdevēja