Povej prijatelju o tem izdelku:
Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings - Lecture Notes in Computer Science 1st ed. 2021 edition
Cena
€ 78,49
Naročeno iz oddaljenega skladišča
Predvidena dobava 9. - 17. nov
Božična darila lahko vrnete do 31. januarja
Kaj pravijo naše stranke:
Dodaj na svoj seznam želja iMusic
Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings - Lecture Notes in Computer Science
This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021. The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions.
522 pages, 68 Illustrations, color; 78 Illustrations, black and white; XV, 522 p. 146 illus., 68 ill
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 3. decembra 2021 |
| ISBN13 | 9783030921231 |
| Založniki | Springer Nature Switzerland AG |
| Strani | 522 |
| Dimenzije | 234 × 154 × 32 mm · 798 g |
| Jezik | Nemščina |
| Urednik | Calinescu, Radu |
| Urednik | Pasareanu, Corina S. |
![Cover for Deborah Morrison · Brave Work in the Age of Climate Change: A Creative's Guide to Making Compelling Advertising and Brand Messages in Complicated Times (Paperback Book) [2022 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for David Kergel · Qualitative Educational and Bildungs Research (Hardcover Book) [2nd Second 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/171/9783032186171.jpg?david-kergel-2027-qualitative-educational-and-bildungs-research-hardcover-book&class=scaled&v=1778118707)
![Cover for Martin O. Steinhauser · Computational Multiscale Modeling of Fluids and Solids: Theory and Applications in Computational Science - Graduate Texts in Physics (Hardcover Book) [Fourth Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/396/9783032255396.jpg?martin-o-steinhauser-2027-computational-multiscale-modeling-of-fluids-and-solids-theory-and-applications-in-computational-science-graduate-texts-in-physics-hardcover-book&class=scaled&v=1780455123)
![Cover for Alan Dix · Statistics for HCI: Making Sense of Quantitative Data - Synthesis Lectures on Human-Centered Informatics (Hardcover Book) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/798/9783032352798.jpg?alan-dix-2027-statistics-for-hci-making-sense-of-quantitative-data-synthesis-lectures-on-human-centered-informatics-hardcover-book&class=scaled&v=1790612312)
