booktheque

Theory and Applications of Satisfiability Testing - SAT 2010

Ofer Strichman, Stefan Szeider · 2010

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
2010
Language
English
Publisher
Springer London, Limited
Editions
1
Pages
400
ISBN
9783642141867

Data source: Wikidata

More by Ofer Strichman

Hardware and Software : Verification and Testing
Ofer Strichman · 2017