Liknande böcker

Higher Order Logic Theorem Proving and Its Applications : 8th Internatio...
Bok av E Thomas Schubert
ICDT '88 : 2nd International Conference on Database Theory, Bruges, Belg...
Bok av Marc Gyssens
9th International Conference on Automated Deduction : Argonne, Illinois,...
Bok av Ewing Lusk
Logical Foundations of Computer Science - Tver '92 : Tver '92 : procee...
Bok av Anil Nerode
Automata, Languages and Programming : 18th International Colloquium, Mad...
Bok av Javier Leach Albert
Fundamentals of Computation Theory : International Conference FCT '87 Ka...
Bok av Lothar Budach
TAPSOFT '89: Proceedings of the International Joint Conferen
Bok
Fundamentals of Computation Theory : 8th International Conference, FCT '...
Bok av Lothar Budach

Computer Aided Verification

Bok