👤

Lubos Brim

3 books

Books by Lubos Brim

Formal Methods : Applications
Formal Methods : Applications and Technology
2007
CONCUR 2002-concurrency theory
CONCUR 2002-concurrency theory
2002
Mathematical Foundations of Computer Science, 1998
Mathematical Foundations of Computer Science, 1998
1998