Povedzte o tejto položke priateľom:
Leveraging Applications of Formal Methods Verification and Validation Modeling 1st ed. 2018 edition
Cena
€ 52,99
Objednané zo vzdialeného skladu
Očakávané doručenie 9. - 17. nov
Vianočné darčeky je možné vrátiť do 31. januára
Naši zákazníci hovoria:
Pridať do vášho zoznamu prianí na iMusic
Leveraging Applications of Formal Methods Verification and Validation Modeling
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.
588 pages, 136 Illustrations, color; 93 Illustrations, black and white; XV, 588 p. 229 illus., 136 i
| Médium | Knihy Book |
| Vydané | 29. októbra 2018 |
| ISBN13 | 9783030034177 |
| Vydavatelia | Springer Nature Switzerland AG |
| Strany | 588 |
| Rozmery | 150 × 220 × 20 mm · 902 g |
| Jazyk | Nemčina |
| Editor | Margaria, Tiziana |
| Editor | Steffen, Bernhard |
![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)
