1 |
|
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach [E-Book]
|
|
2006 |
|
.
|
2 |
|
Anleitung zum praktischen Entwurf : mit 42 Tabellen [Buch] Kommunikationssysteme
|
|
1994 |
500033209
|
Regalstandort: ZN 6220 G366-2.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 4.
|
3 |
|
Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings [E-Book]
|
|
2017 |
500258149
|
.
|
4 |
|
Automatentheorie und Logik [E-Book]
|
Hofmann, Martin
|
2011 |
|
.
|
5 |
|
Compiler und Interpreter für höhere Programmiersprachen [Buch]
|
Loeper, Hans
|
1987 |
500009668
|
Regalstandort: 22 952.
Lit.abteilungen: Magazin.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
6 |
|
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II [E-Book]
|
|
2017 |
500255520
|
.
|
7 |
|
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I [E-Book]
|
|
2017 |
500255521
|
.
|
8 |
|
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications [E-Book]
|
O'Regan, Gerard
|
2017 |
|
.
|
9 |
|
Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude [E-Book]
|
Ölveczky, Peter Csaba
|
2017 |
|
.
|
10 |
|
Einführung in die Informatik: Algorithmenentwicklung [Buch]
|
Kröger, Fred
|
1991 |
|
Regalstandort: 27 344/2.
Lit.abteilungen: Magazin.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
11 |
|
Formal Methods for Discrete-Time Dynamical Systems [E-Book]
|
Belta, Calin
|
2017 |
|
.
|
12 |
|
Formal System Verification: State-of the-Art and Future Trends [E-Book]
|
|
2018 |
|
.
|
13 |
|
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach [E-Book]
|
Zhan, Naijun
|
2017 |
|
.
|
14 |
|
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation [E-Book]
|
Kleuker, Stephan
|
2009 |
|
.
|
15 |
|
Formalisms for Reuse and Systems Integration [E-Book]
|
Bouabana-Tebibel, Thouraya
|
2015 |
|
.
|
16 |
|
Informatik - eine konstruktive Einführung: LISP, PROLOG und andere Konzepte der Programmierung [Buch]
|
Schefe, Peter
|
1987 |
500009606
|
Regalstandort: 26 615/1.
Lit.abteilungen: Magazin.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
17 |
|
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.
|
18 |
|
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday [E-Book]
|
|
2017 |
500256164
|
.
|
19 |
|
Modern applications of automata theory [Buch]
|
|
2012 |
500173253
|
Regalstandort: ST 136 D811.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
20 |
|
Petri-Netze [E-Book]
|
|
2008 |
|
.
|