Liknande böcker

Formal Methods: Foundations and Applications - 15th Brazilian Symposium,...
Bok av Rohit. Gheyi
Formal Properties of Finite Automata and Applications : LITP Spring Scho...
Bok av Jean-Eric Pin
Algebraic Methodology and Software Technology : 5th International Confer...
Bok av Martin Wirsing
Logic Programming and Knowledge Representation
Bok av Jurgen Dix
Typed Lambda Calculi and Applications : Third International Conference o...
Bok av Philippe De Groote
Logic, Rationality, and Interaction : 5th International Workshop, LORI 2...
Bok av Wiebe Van Der Hoek
Algorithms and Computation : 20th International Symposium, ISAAC 2009, H...
Bok av Yingfei. Dong
Automata, Languages, and Programming
Bok av Serge Abiteboul

Formal Methods and Object Technology

Bok