|
1 |
 |
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach [E-Book]
|
|
2006 |
|
.
|
|
2 |
 |
Algorithmic problem solving [Buch]
|
Backhouse, Roland C.
|
2011 |
|
Regalstandort: ST 134 B126.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
|
3 |
 |
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications [E-Book]
|
O'Regan, Gerard
|
2017 |
|
.
|
|
4 |
 |
Early Software Reliability Prediction: A Fuzzy Logic Approach [E-Book]
|
Pandey, Ajeet Kumar
|
2013 |
|
.
|
|
5 |
 |
Fault-Tolerant Design [E-Book]
|
Dubrova, Elena
|
2013 |
|
.
|
|
6 |
 |
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach [E-Book]
|
Zhan, Naijun
|
2017 |
|
.
|
|
7 |
 |
Fundamentals of algebraic graph transformation [Buch]
|
Ehrig, Hartmut
|
2006 |
|
Regalstandort: ST 130 E33.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
|
8 |
![Generic programming: advanced lectures ; [lectures presented at a Summer School on Generic Programming held at the University of Oxford in August 2002]](Cover.cls?type=cover&isbn=9783540201946&size=100 "Generic programming: advanced lectures ; [lectures presented at a Summer School on Generic Programming held at the University of Oxford in August 2002]") |
Generic programming: advanced lectures ; [lectures presented at a Summer School on Generic Programming held at the University of Oxford in August 2002] [Buch]
|
|
2003 |
 500090773
|
Regalstandort: SS 4800 O98.
Lit.abteilungen: Freihand.
Verfügbar in: ZB Scheffelstraße.
Anzahl Exemplare: 1.
|
|
9 |
 |
Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers [E-Book]
|
|
2017 |
500255522
|
.
|
|
10 |
 |
Methoden und Architekturen der Softwaretechnik [E-Book]
|
Goll, Joachim
|
2011 |
|
.
|
|
11 |
 |
¬The¬ nature of computation [E-Book]
|
Moore, Cristopher
|
2011 |
|
.
|
|
12 |
 |
Operations Research Proceedings 2011: Selected Papers of the International Conference on Operations Research (OR 2011), August 30 - September 2, 2011, Zurich, Switzerland [E-Book]
|
Klatte, Diethard
|
2012 |
|
.
|
|
13 |
 |
Scalable Techniques for Formal Verification [E-Book]
|
Ray, Sandip
|
2010 |
|
.
|
|
14 |
 |
Software verification and analysis: an integrated, hands-on approach [Buch]
|
Laski, Janusz
|
2009 |
|
Regalstandort: ST 233 L345.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
|
15 |
 |
Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers [E-Book]
|
|
2017 |
500243498
|
.
|
