Decision Procedures : An Algorithmic Point of View Buy on Amazon
Facebook LinkedIn

Decision Procedures : An Algorithmic Point of View

Author Daniel Kroening, Ofer Strichman
Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Category Hardcover
Shop on Amazon — pick your country
🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India
7168 EUR
Buy New on Amazon 🇫🇷 Used — EUR 164,00

Habituellement expédié sous 24 h

Book Details
Author(s) Daniel Kroening, Ofer Strichman
Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN / ASIN 3662504960
ISBN-13 9783662504963
Availability Habituellement expédié sous 24 h
Sales Rank #713,759
Category Hardcover
Marketplace France 🇫🇷
Ratings & Reviews No reviews yet — be the first!

No reviews yet.

Description
🏷️

More Books in Hardcover

(17)
(17)
View
Donate to EbookNetworking
← Previous Book Next Book →
← Previous
Next →