Clicky

Tools and Algorithms for the Construction and Analysis of Systems by Christel Baier and similar books you'll love - Bookscovery

Home > Authors > Christel Baier > Tools and Algorithms for the Construction and Analysis of Systems

Buy at: Bookshop.org Amazon

Tools and Algorithms for the Construction and Analysis of Systems

Christel Baier, Cesare Tinelli

Recent activity

Rate this book to see your activity here.

4 Books Similar to Tools and Algorithms for the Construction and Analysis of Systems by Christel Baier

Bookscovery readers who liked Tools and Algorithms for the Construction and Analysis of Systems also like Automated Deduction - CADE 29, Description Logic, Theory Combination, and All That and Frontiers of Combining Systems. How many of these have you read?

Automated Deduction - CADE 29 by Brigitte Pientka

Cover of Automated Deduction - CADE 29
Buy this book at:
Bookshop.org Amazon

Description Logic, Theory Combination, and All That by Carsten Lutz

Cover of Description Logic, Theory Combination, and All That
Buy this book at:
Bookshop.org Amazon

Frontiers of Combining Systems by Cesare Tinelli

Cover of Frontiers of Combining Systems
Buy this book at:
Bookshop.org Amazon

Frontiers Of Combining Systems 8th International Symposium Frocos 2011 Saarbrucken Germany October 57 2011 by Cesare Tinelli

Cover of Frontiers Of Combining Systems 8th International Symposium Frocos 2011 Saarbrucken Germany October 57 2011
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Tools and Algorithms for the Construction and Analysis of Systems

Please sign in to leave a comment