Fortell venner om denne varen:
Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings - Lecture Notes in Computer Science 1st ed. 2018 edition
Pris
NOK 509
Bestillingsvarer
Forventes levert 4. - 12. nov
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings - Lecture Notes in Computer Science
This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018.The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. formal analysis for modeling languages, such as UML/state charts;
347 pages, 78 Illustrations, black and white; XVI, 347 p. 78 illus.
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 17. juni 2018 |
| ISBN13 | 9783319941103 |
| Utgivere | Springer International Publishing AG |
| Antall sider | 347 |
| Mål | 155 × 234 × 22 mm · 546 g |
| Språk | Fransk |
| Redaktør | Gallardo, Maria del Mar |
| Redaktør | Merino, Pedro |
![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 Daniel Schatz · Sweden’s Relations with Israel and the Palestinians: An Untold History (Innbunden bok) [2024 edition] (2027)](https://imusic.b-cdn.net/images/item/original/321/9783031720321.jpg?daniel-schatz-2027-sweden-s-relations-with-israel-and-the-palestinians-an-untold-history-innbunden-bok&class=scaled&v=1774494645)
![Cover for T. S. Venkatesh · Strength of Materials: Volume I: Concepts, Problems & Solutions (Innbunden bok) [Second Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/846/9783031955846.jpg?t-s-venkatesh-2027-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] (2027)](https://imusic.b-cdn.net/images/item/original/620/9783031713620.jpg?ram-s-jakhu-2027-sustainable-development-in-south-asia-the-role-of-space-technologies-laws-and-policies-space-and-society-innbunden-bok&class=scaled&v=1788186816)
