Verified software theories, tools, and experiments : 11th international conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019 : revised selected papers Supratik Chakraborty, Jorge A. Navas (eds.)
Materialtyp:
TextSprache: Englisch Reihen: ; 12031 | Lecture notes in computer science ; 12031Verlag: Cham Springer [2020]Beschreibung: xvi, 192 Seiten Illustrationen, DiagrammeInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 9783030415990
- Softwaretest
- Verifikation
- Formale Methode
- Spezifikationssprache
- Softwarespezifikation
- Programmverifikation
- Programmanalyse
- Formale Methode
- Programmanalyse
- Programmverifikation
- Softwarespezifikation
- Softwaretest
- Spezifikationssprache
- Verifikation
- Verifikation
- Softwarespezifikation
- Spezifikationssprache
- Softwaretest
- Programmanalyse
- Programmverifikation
- Formale Methode
- SS 4800
- 54.52
| Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | |
|---|---|---|---|---|---|---|---|---|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Series (GF) | LNCS 12031 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000433732 |
Im Vorwort: The working conference was co-located with the 31st International Conference on Computer-Aided Verification (CAV 2019)
Literaturangaben
Titelaufnahme entstanden auf Grundlage der Online-Ausgabe
Verified Software. Theories, Tools, and Experiments