-
Formal models and semantics : Handbook of theoretical computer science. Volume B /
-
Discovering formal logic
-
A Contribution to comprehension model and presentation of Z specifications : Diz.práca:Obh. 29.4.1999
-
An Introduction to Formal Languages and Automata
-
Formal description of programming concepts : Proceedings of IFIP working conference : Konf. St.Andrews, Canada, 1.- 5. Aug. 1977 /
-
Programování pro samočinné počítače /
-
Formal methods for VLSI design /
-
Lectures on formal methods and performance analysis : First EEF/euro summer school on trends in computer science. Berg en Dal, The Netherlands. 3.- 7. July 2000 /
-
JFLAP : An Interactive Formal Languages and Automata Package
-
Formal development of programs and proofs /
-
Developmental Systems and Languages. /
-
Automata Theory: Machines and Languages. /
-
Theoretical Computer Science : Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography /
-
Program specification a tranformation : Proccedings of the IFIP TC2/WG 2.1 working conference : Konf. Bad Tölz, DBR, 15.- 17. April 1986 /
-
Model building in mathematical programming
-
Programming concepts and methods : Proceedings of the IFIP working group 2.2./2.3 working conference : Konf. Sea of Galulee, Israel, 2.- 5. april 1990 /
-
Model Building in Mathematical Programming
-
Formálne jazyky a automaty /
-
An introduction to formal specification and Z /
-
Set theory : An introduction to independence proofs /
-
Languages and Machines : An Introduction to the Theory of Computer Science
-
Elements of the theory of computation
-
Discrete Dynamic Systems in Dual Language-Graph Formalism
-
Úvod do softvérových jazykov, príklady a úlohy /