Liknande böcker

Automata, Languages and Programming
Bok av Andrzej Lingas
Computer Aided Verification : 5th International Conference, CAV'93, Elou...
Bok av Costas Courcoubetis
Higher Order Logic Theorem Proving and Its Applications : 8th Internatio...
Bok av E Thomas Schubert
Logics in AI
Bok av David Pearce
Logic Programming and Knowledge Representation
Bok av Jurgen Dix
Isabelle
Bok av Lawrence C. Paulson
Logic Programming and Nonmonotonic Reasoning
Bok av Ulrich Furbach
Non-Monotonic Extensions of Logic Programming : Second International Wor...
Bok av Juergen Dix

Computer Aided Verification

Bok av Gregor Von Bochmann