MENÜ MENÜ
  • Sie verwenden einen veralteten Webbrowser, weshalb es zu Problemen mit der Darstellung kommen kann. Bei Problemen mit der Bestellabgabe können Sie gerne auch telefonisch bestellen unter: 01805 565554 (0,14€/min, mobil max.0,42€/min)

Model Checking Software

Model Checking Software
Autor: Fabrizio Biondi / Thomas Given-Wilson / Axel Legay
Verfügbarkeit: Auf Lager.
Artikelnummer: 2155480
ISBN / EAN: 9783030309220

Verfügbarkeit: sofort lieferbar

62,05
Inkl. MwSt. , zzgl. Versandkosten

Produktbeschreibung

This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019.

The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 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. 

Zusatzinformation

Autor Verlag Springer, Berlin
ISBN / EAN 9783030309220 Bindung Taschenbuch

Sie könnten auch an folgenden Produkten interessiert sein

Titelliste

0 Kundenmeinungen

Bitte schreiben Sie uns Ihre Meinung zu: Model Checking Software

  • Wenn Sie dieses Eingabefeld sehen sollten, lassen Sie es leer!