Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
📄 Viewing lite version
Full site ›
Book Details
Author(s)Kroening, Daniel
PublisherSpringer
ISBN / ASIN3662570653
ISBN-139783662570654
AvailabilityIn Stock
CategoryPaperback
MarketplaceUnited States 🇺🇸
More Books in Paperback
Nightmare Hour TV Tie-in Edition
View
First Light
View
The Miles Between
View
Prize Stories 1990: The O. Henry Awards (Pen / O. Henr…
View
Democracy Begins Between Two
View
The Model Locomotive Engineer, Fireman, and Engine Boy
View
Bloodline in the Sand
View
Making America, Volume A, Brief, 2nd Ed + Perfect Unio…
View
Ellis, Becoming a Master Student, 11th Edition Plus My…
View