Model Checking Software 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
-
- Taschenbuch ausgewählt
- eBook
-
Sprache:Englisch
92,99 €
UVP
106,99 €
inkl. gesetzl. MwSt.,
Lieferung nach Hause
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
23.08.2022
Herausgeber
Owolabi Legunsen + weitereVerlag
SpringerSeitenzahl
153
Maße (L/B/H)
23,5/15,5/1 cm
Gewicht
265 g
Auflage
1st edition 2022
Sprache
Englisch
ISBN
978-3-031-15076-0
The 8 full papers were carefully reviewed and selected from 11 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für dein Feedback
Wir nutzen dein Feedback, um unsere Produktseiten zu verbessern. Bitte habe Verständnis, dass wir dir keine Rückmeldung geben können. Falls du Kontakt mit uns aufnehmen möchtest, kannst du dich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice