|
1 |
 |
Algorithmik: Die Kunst des Rechnens [E-Book]
|
|
2006 |
|
.
|
|
2 |
 |
¬The¬ connection between applicative and procedural languages in an integrated software development and verification system [Hochschulschriften]
|
Olthoff, Walter
|
1987 |
|
Regalstandort: 23 761/1.
Lit.abteilungen: Magazin.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
|
3 |
 |
Embedded software verification and debugging [E-Book]
|
|
2017 |
|
.
|
|
4 |
 |
Formal System Verification: State-of the-Art and Future Trends [E-Book]
|
|
2018 |
|
.
|
|
5 |
 |
Keyword-Driven Testing: Grundlage für effiziente Testspezifikation und Automatisierung [Buch]
|
Daigl, Matthias
|
2022 |
|
Regalstandort: ST 233 D132.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 2.
|
|
6 |
 |
Korrekte Software: Semantik, Spezifikation, Verifikation und Testen von Programmen [Buch]
|
Kowalk, Wolfgang Peter
|
1993 |
|
Regalstandort: ST 233 K88.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
|
7 |
 |
Mathematical methods of specification and synthesis of software systems '85: proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22 - 26, 1985 [Buch]
|
|
1986 |
 500027710
|
Regalstandort: 21 713/1.
Lit.abteilungen: Magazin.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
|
8 |
 |
Principles of model checking [Buch]
|
Baier, Christel
|
2008 |
|
Regalstandort: ST 233 B152.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
|
9 |
 |
Programmverifikation: sequentielle, parallele und verteilte Programme [Buch]
|
Apt, Krzysztof R.
|
1994 |
|
Regalstandort: ST 233 A655.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
|
10 |
 |
Reactive systems: modelling, specification and verification [Buch]
|
|
2007 |
|
Regalstandort: ST 302 A174.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
|
11 |
 |
Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings [E-Book]
|
|
2017 |
500257479
|
.
|
|
12 |
 |
Software Design for Resilient Computer Systems [E-Book]
|
Schagaev, Igor
|
2016 |
|
.
|
|
13 |
 |
Systems and software verification: model-checking techniques and tools [Buch]
|
|
2001 |
|
Regalstandort: ST 233 B483.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 2.
|
|
14 |
 |
Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings [E-Book]
|
|
2017 |
500255492
|
.
|
|
15 |
 |
Theoretical Aspects of Computing – ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings [E-Book]
|
|
2017 |
500257490
|
.
|
|
16 |
 |
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I [E-Book]
|
|
2017 |
500248042
|
.
|
|
17 |
 |
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II [E-Book]
|
|
2017 |
500248043
|
.
|
|
18 |
 |
Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings [E-Book]
|
|
2017 |
500243499
|
.
|
|
19 |
 |
Verification of object-oriented software: The KeY approach [Buch]
|
|
2007 |
500166431
|
Regalstandort: ST 231 B396.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
|
20 |
 |
Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers [E-Book]
|
|
2017 |
500268424
|
.
|
