Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Book Details
Author(s)Kroening, Daniel
PublisherSpringer
ISBN / ASIN3662504960
ISBN-139783662504963
AvailabilityOnly 4 left in stock - order soon.
CategoryHardcover
MarketplaceUnited States 🇺🇸
More Books in Hardcover
More Books by Kroening, Daniel
