Clicky

Dependable Software Engineering : Theories, Tools, and Applications by Martin änzle and similar books you'll love - Bookscovery

Home > Authors > Martin änzle > Dependable Software Engineering : Theories, Tools, and Applications

Buy at: Bookshop.org Amazon

Dependable Software Engineering : Theories, Tools, and Applications

Martin änzle, Deepak Kapur, Naijun Zhan

Recent activity

Rate this book to see your activity here.

8 Books Similar to Dependable Software Engineering : Theories, Tools, and Applications by Martin änzle

Bookscovery readers who liked Dependable Software Engineering : Theories, Tools, and Applications also like Automated Deduction - Cade-11, Automated Reasoning and Computer Mathematics. How many of these have you read?

Automated Deduction - Cade-11 by Deepak Kapur

Cover of Automated Deduction - Cade-11
Buy this book at:
Bookshop.org Amazon

Automated Reasoning by Stéphane Demri

Cover of Automated Reasoning
Buy this book at:
Bookshop.org Amazon

Computer Mathematics by Deepak Kapur

Cover of Computer Mathematics
Buy this book at:
Bookshop.org Amazon

Geometric reasoning by Deepak Kapur

Cover of Geometric reasoning
Buy this book at:
Bookshop.org Amazon

Symbolic and numerical computation for artificial intelligence by Bruce R. Donald

Cover of Symbolic and numerical computation for artificial intelligence
Buy this book at:
Bookshop.org Amazon

Theoretical Aspects of Computing – ICTAC 2017 by Dang Van Hung

Cover of Theoretical Aspects of Computing – ICTAC 2017
Buy this book at:
Bookshop.org Amazon

Formal Verification of Simulink/Stateflow Diagrams by Naijun Zhan

Cover of Formal Verification of Simulink/Stateflow Diagrams
Buy this book at:
Bookshop.org Amazon

Symposium on Real-Time and Hybrid Systems by Cliff Jones

Cover of Symposium on Real-Time and Hybrid Systems
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Dependable Software Engineering : Theories, Tools, and Applications

Please sign in to leave a comment