B

Bernd-Holger Schlingloff

2 books found

Books by Bernd-Holger Schlingloff
Tum Institut für Informatik zur temporalen Logik von BäumenBernd-Holger Schlingloff
⏱ 3h 9m

Tum Institut für Informatik zur temporalen Logik von Bäumen

Bernd-Holger Schlingloff

1990189 pp.
Formal Methods for Software EngineeringMarkus Roggenbach
⏱ 7h 30m

Formal Methods for Software Engineering

Markus Roggenbach

2020450 pp.