Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Book Details
Author(s)Daniel Kroening, Ofer Strichman
PublisherSpringer
ISBN / ASIN3540741046
ISBN-139783540741046
MarketplaceIndia 🇮🇳
