Jacques Loeckx
Jacques Loeckx
4 books in the database
Books
The foundations of program verificationJacques Loeckx
The foundations of program verification
Jacques Loeckx · 2013
The Foundations of Program VerificationJacques Loeckx
The Foundations of Program Verification
Jacques Loeckx · 1987
Grundlagen der ProgrammiersprachenJacques Loeckx
Grundlagen der Programmiersprachen
Jacques Loeckx · 1986
AlgorithmentheorieJacques Loeckx
Algorithmentheorie
Jacques Loeckx · 1976