1
Softwareentwicklung kompakt und verständlich [E-Book] : Wie Softwaresysteme entstehen /
2
Theorem Proving in Higher Order Logics [E-Book] : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /