Brim, Lubos books & textbook
Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th ... (Lecture Notes in Computer Science, 4346)
Brim, Lubos Haverkort, Boudewijn Leucker, Martin Pol, Jaco van de
Springer /2007-02-20 Paperback / 376 Pages
isbn-10: 3540709517 / isbn-13: 9783540709510
Mathematical Foundations of Computer Science 1998: 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998 (Lecture Notes in Computer Science, 1450)
Brim, Lubos Gruska, Josef Zlatuska, Jiri
Springer /1998-08-12 Paperback / 872 Pages
isbn-10: 3540648275 / isbn-13: 9783540648277
CONCUR 2002 - Concurrency Theory: 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings (Lecture Notes in Computer Science, 2421)
Brim, Lubos Jancar, Petr Kretinsky, Mojmir Kucera, Antonin
Springer /2002-08-05 Paperback / 621 Pages
isbn-10: 3540440437 / isbn-13: 9783540440437
