Erweiterte Suche
Suchergebnisse für "model+checking"

123 gefundene Artikel

Formale Modelle der Softwareentwicklung (eBook, PDF)
Statt 37,99 €**
26,96 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei*
Stephan Kleuker
Formale Modelle der Softwareentwicklung (eBook, PDF)
(Aktuell noch keine Bewertungen)
eBook, PDF
22. Oktober 2009
Vieweg+Teubner Verlag
Symbolisches Model Checking variabler Verhaltensspezifikationen
59,00 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Tim Jonischkat
Symbolisches Model Checking variabler Verhaltensspezifikationen
(Aktuell noch keine Bewertungen)
Broschiertes Buch
Konsistenzprüfung von Domänenspezifikationen im Rahmen der Softwareproduktlinienentwicklung
2010
VDM Verlag Dr. Müller
Sichere Konfigurationsplanung adaptiver Systeme durch Model Checking
59,00 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Malte Röhs
Sichere Konfigurationsplanung adaptiver Systeme durch Model Checking
(Aktuell noch keine Bewertungen)
Broschiertes Buch
Grundlagen, Konzepte, Implementierung
2010
VDM Verlag Dr. Müller
Model Checking Software
50,99 €
Sofort lieferbar
Versandkostenfrei*
Model Checking Software
(Aktuell noch keine Bewertungen)
Broschiertes Buch
25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
1st ed. 2018
17. Juni 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-94110-3
Auch erhältlich als
eBook, PDF52,95 €
Verification, Model Checking, and Abstract Interpretation
62,99 €
Sofort lieferbar
Versandkostenfrei*
Verification, Model Checking, and Abstract Interpretation
(Aktuell noch keine Bewertungen)
Broschiertes Buch
20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings
1st ed. 2019
11. Januar 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-030-11244-8
Auch erhältlich als
eBook, PDF65,95 €
Verification, Model Checking, and Abstract Interpretation
59,99 €
Sofort lieferbar
Versandkostenfrei*
Verification, Model Checking, and Abstract Interpretation
(Aktuell noch keine Bewertungen)
Broschiertes Buch
19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
1st ed. 2018
10. Januar 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-73720-1
Auch erhältlich als
eBook, PDF59,95 €
Model Checking Software
53,99 €
Sofort lieferbar
Versandkostenfrei*
Model Checking Software
(Aktuell noch keine Bewertungen)
Broschiertes Buch
22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
1st ed. 2015
3. September 2015
Springer / Springer, Berlin
978-3-319-23403-8
Auch erhältlich als
eBook, PDF44,95 €
Handbook of Model Checking
Statt 100,99 €**
86,99 €
**Früherer Preis
Sofort lieferbar
Versandkostenfrei*
Handbook of Model Checking
(Aktuell noch keine Bewertungen)
Gebundenes Buch
1st ed. 2018
8. Juni 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-10574-1
Verification, Model Checking, and Abstract Interpretation
53,99 €
Sofort lieferbar
Versandkostenfrei*
Verification, Model Checking, and Abstract Interpretation
(Aktuell noch keine Bewertungen)
Broschiertes Buch
16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
2015
11. Februar 2015
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-46080-1
Auch erhältlich als
eBook, PDF51,95 €
Verification, Model Checking, and Abstract Interpretation
56,99 €
Sofort lieferbar
Versandkostenfrei*
Verification, Model Checking, and Abstract Interpretation
(Aktuell noch keine Bewertungen)
Broschiertes Buch
15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
2014
22. Januar 2014
Springer, Berlin
Auch erhältlich als
eBook, PDF56,95 €
Stochastic Model Checking
40,99 €
Sofort lieferbar
Versandkostenfrei*
Stochastic Model Checking
(Aktuell noch keine Bewertungen)
Broschiertes Buch
International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
2014
31. Oktober 2014
Springer / Springer, Berlin
978-3-662-45488-6
Auch erhältlich als
eBook, PDF38,95 €
Abstract State Machines
55,99 €
Sofort lieferbar
Versandkostenfrei*
Egon Börger
Roland Stärk
Abstract State Machines
(Aktuell noch keine Bewertungen)
Gebundenes Buch
A Method for High-Level System Design and Analysis
23. April 2003
Springer, Berlin
Auch erhältlich als
Broschiertes Buch46,99 €
eBook, PDF48,95 €
Die "künstliche Seele" (eBook, PDF)
Statt 49,99 €**
35,96 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei*
Die "künstliche Seele" (eBook, PDF)
(Aktuell noch keine Bewertungen)
eBook, PDF
9. November 2013
Deutscher Universitätsvlg
Auch erhältlich als
Broschiertes Buch49,99 €
Transactions on Petri Nets and Other Models of Concurrency XV
48,99 €
Sofort lieferbar
Versandkostenfrei*
Transactions on Petri Nets and Other Models of Concurrency XV
(Aktuell noch keine Bewertungen)
Broschiertes Buch
1st ed. 2021
25. Februar 2021
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-63078-5
Auch erhältlich als
eBook, PDF48,95 €
Formal Modeling and Analysis of Timed Systems
53,99 €
Sofort lieferbar
Versandkostenfrei*
Formal Modeling and Analysis of Timed Systems
(Aktuell noch keine Bewertungen)
Broschiertes Buch
13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
1st ed. 2015
14. September 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-22974-4
Auch erhältlich als
eBook, PDF44,95 €


Ähnlichkeitssuche: Fact®Finder von OMIKRON