ganesh gopalakrishnan
Computation Engineering
EbookSofort lieferbar'This classroom-tested undergraduate textbook is unique in presenting logic and automata theory a...
Computer Aided Verification
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 23rd International Conference on Computer A...
Automata and Computability
EbookSofort lieferbarThis class-tested textbook provides a comprehensive and accessible introduction to the theory of ...
Automata and Computability
EbookSofort lieferbarThis class-tested textbook provides a comprehensive and accessible introduction to the theory of ...
Formal Methods in Computer-Aided Design
EbookSofort lieferbarThis book constitutes the refereed proceedings of the Second International Conference on Formal M...
Theorem Proving in Higher Order Logics
EbookSofort lieferbarThis volume constitutes the proceedings of the 17th International Conference on Theorem Proving i...
Computation Engineering
TaschenbuchBezug 11-15It takes more e?ort to verify that digital system designs are correct than it does to design them...
Theorem Proving in Higher Order Logics
TaschenbuchBezug 11-15This volume constitutes the proceedings of the 17th International Conference on Theorem Proving i...
Formal Methods in Computer-Aided Design
TaschenbuchBezug 11-15This volumecontains the proceedingsof the Second InternationalConferenceon Formal Methods in Comp...
Computer Aided Verification
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the 23rd International Conference on Compute...
Specification and Analysis of Discrete Systems:
BuchVorbestellbarThis class-tested textbook provides a comprehensive and accessible introduction to discrete syste...
- 1