-
Correct hardware design and verification methods : IFIP WG10.2 Advanced research working conference : Konf. CHARME'93, Arles, Frances, 24.- 26. May 1993 /
-
Computer aided verification : Fourth international workshop : Konf. CAV '92, Montreal, Canada, 29. Juny - 1. July 1992 /
-
Computer-Aided verification /
-
Formal verification of hardware design /
-
Symbolic model checking /
-
A unified approach for timing verification and delay faut testing
-
Principles of Model checking
-
Model checking
-
Temporal verification of reactive systems : Safety /
-
Dependability of critical computer systems. 2 /
-
Essays in computing science /
-
Computer science : Obs. Vol.1., s.1-595. Vol.2., s.599-1013 /
-
Automatic verification methods for finite state systems : Konf. International Workshop, Grenoble, France, 12.- 14. juna. 1989 /
-
Comparison of Two Project Oriented Teaching Models in Computer Science Subjects As Viewed by Students
-
Multimédiá a PC
-
Multimédiá. Podrobný průvodce /
-
Získavanie metadát pre efektívnu organizáciu osobných multimediálnych úložísk pomocou hry s účelom
-
Software Engineering : A Programming Approach
-
Agilní programování : Metodiky efektivního vývoje softwaru
-
Modul testovania pre online skúškový systém
-
Foundations of software measurement /
-
The mythical man-moth : Essays on software engineering
-
Software engineering education and practice. : 1998 international conference : proceedings. Dunedin, New Zeland. 26.- 29. Jan. 1998
-
Computer programming I /