Fortell venner om denne varen:
Automated Validation & Verification of UML / OCL Models Using Satisfiability Solvers Nils Przigoda 1st ed. 2018 edition
Pris
NOK 1.469
Bestillingsvarer
Forventes levert 23. okt - 2. nov
Få varsel om nye utgivelser fra Nils Przigoda
Legg til iMusic ønskeliste
eller
Finnes også som:
Automated Validation & Verification of UML / OCL Models Using Satisfiability Solvers
Nils Przigoda
This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine.
255 pages, 40 Tables, color; 5 Illustrations, color; 11 Illustrations, black and white; XII, 255 p.
| Media | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 31. januar 2018 |
| ISBN13 | 9783319728131 |
| Utgivere | Springer International Publishing AG |
| Antall sider | 255 |
| Mål | 246 × 163 × 20 mm · 528 g |
| Språk | Tysk |
![Cover for Marco Ferrante · An excursion into Markov chains - UNITEXT (Pocketbok) [1st ed. 2024 edition] (2028)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Food and Mental Health: The Link between Diet and Neurological disorders: A Curated Literature Overview (Innbunden bok) [2024 edition] (2027)](https://imusic.b-cdn.net/images/item/original/091/9783031469091.jpg?2027-food-and-mental-health-the-link-between-diet-and-neurological-disorders-a-curated-literature-overview-innbunden-bok&class=scaled&v=1788186815)
![Cover for Transmission Electron Microscopy: The Companion Volume (Pocketbok) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/916/9783031807916.jpg?2027-transmission-electron-microscopy-the-companion-volume-pocketbok&class=scaled&v=1780320082)
![Cover for Christopher M. Brown · The Democratization of Cuba (Innbunden bok) [2022 edition] (2027)](https://imusic.b-cdn.net/images/item/original/523/9783319660523.jpg?christopher-m-brown-2027-the-democratization-of-cuba-innbunden-bok&class=scaled&v=1594018037)
![Cover for Interventional Oncology: A Multidisciplinary Approach to Image-Guided Cancer Therapy (Innbunden bok) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/612/9783031497612.jpg?2027-interventional-oncology-a-multidisciplinary-approach-to-image-guided-cancer-therapy-innbunden-bok&class=scaled&v=1788188382)
![Cover for T. S. Venkatesh · Strength of Materials: Volume I: Concepts, Problems & Solutions (Innbunden bok) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/846/9783031955846.jpg?t-s-venkatesh-2026-strength-of-materials-volume-i-concepts-problems-solutions-innbunden-bok&class=scaled&v=1778114493)
![Cover for Ram S. Jakhu · Sustainable Development in South Asia: The Role of Space Technologies, Laws and Policies - Space and Society (Innbunden bok) [2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/620/9783031713620.jpg?ram-s-jakhu-2026-sustainable-development-in-south-asia-the-role-of-space-technologies-laws-and-policies-space-and-society-innbunden-bok&class=scaled&v=1788186816)
![Cover for Peter C. Hill · Measures of Religiosity and Spirituality (Bok) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/431/9783031483431.jpg?peter-c-hill-2026-measures-of-religiosity-and-spirituality-bok&class=scaled&v=1780099572)
