booktheque

Automated Reasoning

Jasmin Blanchette, Laura Kovács, Dirk Pattinson · 2022

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

View on Amazon

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

Book details

Year
2022
Language
English
Publisher
Springer International Publishing AG
Editions
1
ISBN
9783031107689

Data source: Wikidata

More by Jasmin Blanchette

C++ GUI programming with Qt 4
Jasmin Blanchette · 2008
C++ GUI programming with Qt 4
Jasmin Blanchette · 2006
C++ GUI Programming with Qt4 (Adobe Reader)
Jasmin Blanchette · 2008