booktheque

Theory and Applications of Satisfiability Testing – SAT 2012

Alessandro Cimatti · 2012

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
2012
Language
English
Series
Lecture Notes in Computer Science -- 7317
Publisher
Springer Berlin Heidelberg
Editions
1
ISBN
9783642316128

Data source: Wikidata

More by Alessandro Cimatti

Formal Methods for Industrial Critical Systems
Alessandro Cimatti · 2023
Software Engineering and Formal Methods
Alessandro Cimatti · 2017