1 |
![Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach](Cover.cls?type=cover&isbn=9783540328704&size=100) |
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 Anleitung zum praktischen Entwurf : mit 42 Tabellen](Cover.cls?type=cover&isbn=9783540577362&size=100) |
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 Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings](Cover.cls?type=cover&isbn=9783319681672&size=100) |
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 Automatentheorie und Logik](Cover.cls?type=cover&isbn=9783642180903&size=100) |
Automatentheorie und Logik [E-Book]
|
Hofmann, Martin
|
2011 |
|
.
|
5 |
![Compiler und Interpreter für höhere Programmiersprachen Compiler und Interpreter für höhere Programmiersprachen](Cover.cls?type=cover&isbn=9783055002229&size=100) |
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 Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II](Cover.cls?type=cover&isbn=9783319633909&size=100) |
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 Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I](Cover.cls?type=cover&isbn=9783319633879&size=100) |
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 Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications](Cover.cls?type=cover&isbn=9783319640211&size=100) |
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 Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude](Cover.cls?type=cover&isbn=9781447166870&size=100) |
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 Einführung in die Informatik: Algorithmenentwicklung](Cover.cls?type=cover&isbn=9780387533032&size=100) |
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 Formal Methods for Discrete-Time Dynamical Systems](Cover.cls?type=cover&isbn=9783319507637&size=100) |
Formal Methods for Discrete-Time Dynamical Systems [E-Book]
|
Belta, Calin
|
2017 |
|
.
|
12 |
![Formal System Verification: State-of the-Art and Future Trends Formal System Verification: State-of the-Art and Future Trends](Cover.cls?type=cover&isbn=9783319576855&size=100) |
Formal System Verification: State-of the-Art and Future Trends [E-Book]
|
|
2018 |
|
.
|
13 |
![Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach](Cover.cls?type=cover&isbn=9783319470160&size=100) |
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 Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation](Cover.cls?type=cover&isbn=9783834895950&size=100) |
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation [E-Book]
|
Kleuker, Stephan
|
2009 |
|
.
|
15 |
![Formalisms for Reuse and Systems Integration Formalisms for Reuse and Systems Integration](Cover.cls?type=cover&isbn=9783319165776&size=100) |
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 Informatik - eine konstruktive Einführung: LISP, PROLOG und andere Konzepte der Programmierung](Cover.cls?type=cover&isbn=9783411031726&size=100) |
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 Korrekte Software: Semantik, Spezifikation, Verifikation und Testen von Programmen](Cover.cls?type=cover&isbn=9783411160013&size=100) |
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 Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday](Cover.cls?type=cover&isbn=9783319631219&size=100) |
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 Modern applications of automata theory](Cover.cls?type=cover&isbn=9789814271042&size=100) |
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 Petri-Netze](Cover.cls?type=cover&isbn=9783540769712&size=100) |
Petri-Netze [E-Book]
|
|
2008 |
|
.
|