-
-
Automata and Computability
EbookSofort lieferbarThis class-tested textbook provides a comprehen...
-
Computer Aided Verification
EbookSofort lieferbarThis book constitutes the refereed proceedings ...
-
Automata and Computability
EbookSofort lieferbarThis class-tested textbook provides a comprehen...
-
Formal Methods in Computer-Aided Design
EbookSofort lieferbarThis book constitutes the refereed proceedings ...
-
Theorem Proving in Higher Order Logics
EbookSofort lieferbarThis volume constitutes the proceedings of the ...
-
Computation Engineering
TaschenbuchPrint on DemandIt takes more e?ort to verify that digital syst...
-
Theorem Proving in Higher Order Logics
TaschenbuchPrint on DemandThis volume constitutes the proceedings of the ...
-
Computer Aided Verification
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings ...
-
Formal Methods in Computer-Aided Design
TaschenbuchPrint on DemandChing-TsunChou (Intel, USA), EduardCerny (Univ.
-
Computation Engineering
BuchBesorgungstitel - wird vorgemerkt'This classroom-tested undergraduate textbook i...
-
Computation Engineering:: Formal Specification and Verification Methods
BuchBesorgungstitel - wird vorgemerktMany textbooks on formal methods and verificati...
- 1
Folgen Sie uns auf:
