Pastāsti draugiem par šo preci:
Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings - Lecture Notes in Computer Science 1st ed. 2022 edition
Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings - Lecture Notes in Computer Science
This book constitutes the refereed proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, held in Warsaw, Poland, in September 2022.
307 pages, 34 Illustrations, color; 26 Illustrations, black and white; XVII, 307 p. 60 illus., 34 il
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2022. gada 29. augusts |
| ISBN13 | 9783031158384 |
| Izdevēji | Springer International Publishing AG |
| Lapas | 307 |
| Izmēri | 150 × 220 × 10 mm · 498 g |
| Valoda | Vācu |
| Redaktors | Bogomolov, Sergiy |
| Redaktors | Parker, David |