Dines Bjørner

Libri
Software Engineering 3 Software Engineering 3
Software Engineering 3
2006
Logics of Specification Languages Logics of Specification Languages
Logics of Specification Languages
2007
Software Engineering 2 Software Engineering 2
Software Engineering 2
2007
Software Engineering 1 Software Engineering 1
Software Engineering 1
2007