Book Reading Time
Home
Subjects
Calculator
About
Contact
Search
B
Bernd-Holger Schlingloff
2 books found
Books by Bernd-Holger Schlingloff
Tum Institut für Informatik zur temporalen Logik von Bäumen
Bernd-Holger Schlingloff
⏱ 3h 9m
Tum Institut für Informatik zur temporalen Logik von Bäumen
Bernd-Holger Schlingloff
1990
189 pp.
Formal Methods for Software Engineering
Markus Roggenbach
⏱ 7h 30m
Formal Methods for Software Engineering
Markus Roggenbach
2020
450 pp.