Vertel uw vrienden over dit artikel:
Leveraging Applications of Formal Methods Verification and Validation Verifica 1st ed. 2018 edition
Prijs
€ 50,99
Besteld in een afgelegen magazijn
Verwachte levering 21 - 29 okt.
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
Leveraging Applications of Formal Methods Verification and Validation Verifica
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.
496 pages, 85 Illustrations, color; 255 Illustrations, black and white; XIII, 496 p. 340 illus., 85
| Media | Boeken Book |
| Vrijgegeven | 30 oktober 2018 |
| ISBN13 | 9783030034207 |
| Uitgevers | Springer Nature Switzerland AG |
| Pagina's | 496 |
| Afmetingen | 150 × 220 × 20 mm · 768 g |
| Taal en grammatica | Duits |
| Uitgever | Margaria, Tiziana |
| Uitgever | 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 Matthew Harker · Fractional Differential Equations: Numerical Methods for Applications - Studies in Systems, Decision and Control (Hardcover Book) [2021 edition] (2027)](https://imusic.b-cdn.net/images/item/original/769/9783030323769.jpg?matthew-harker-2027-fractional-differential-equations-numerical-methods-for-applications-studies-in-systems-decision-and-control-hardcover-book&class=scaled&v=1604147403)
![Cover for Joseph F. Hair Jr. · Partial Least Squares Structural Equation Modeling (PLS-SEM) Using R: A Workbook - Classroom Companion: Business (Hardcover Book) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/214/9783032283214.jpg?joseph-f-hair-jr-2027-partial-least-squares-structural-equation-modeling-pls-sem-using-r-a-workbook-classroom-companion-business-hardcover-book&class=scaled&v=1780320212)
![Cover for Sandro Skansi · Introduction to Deep Learning: Neural Networks, Large Language Models and Agentic AI - Undergraduate Topics in Computer Science (Paperback Book) [Second Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/597/9783032254597.jpg?sandro-skansi-2027-introduction-to-deep-learning-neural-networks-large-language-models-and-agentic-ai-undergraduate-topics-in-computer-science-paperback-book&class=scaled&v=1780344601)
