-78%
Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings eBook
Original price was: $99.00.$22.00Current price is: $22.00.
By: Silvio Ghilardi; Roberto Sebastiani
Publisher: Springer
Print ISBN: 9783642042218, 364204221X
eText ISBN: 9783642042225, 3642042228
Edition: 1st
Copyright year: 2009
Delivery: Can be download immediately after purchasing. For new customer, we need process for verification from 30 mins to 12 hours.
Version: PDF/EPUB. If you need EPUB and MOBI Version, please send contact us.
Compatible Devices: Can be read on any devices
This book constitutes the refereed proceedings of the 7th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Trento, Italy, September 16-18, 2009. The 20 revised full papers presented were carefully reviewed and selected. The papers are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems.
Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings 1st Edition is written by Silvio Ghilardi; Roberto Sebastiani and published by Springer. The Digital and eTextbook ISBNs for Frontiers of Combining Systems are 9783642042225, 3642042228 and the print ISBNs are 9783642042218, 364204221X. Save up to 80% versus print by going digital with VitalSource.
Be the first to review “Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings eBook”
You must be logged in to post a review.
Related products
-38%
Bestsellers
eText ISBN: 9781119473879
Original price was: $19.98.$12.31Current price is: $12.31.
-38%
eText ISBN: 9780735642577
Original price was: $23.32.$14.37Current price is: $14.37.
-38%
Bestsellers
eText ISBN: 9780735637832
Original price was: $23.32.$14.37Current price is: $14.37.
-38%
Bestsellers
eText ISBN: 9781943872183
Original price was: $53.32.$32.85Current price is: $32.85.
-38%
eText ISBN: 9780735642737
Original price was: $23.32.$14.37Current price is: $14.37.
-38%
Bestsellers
eText ISBN: 9781610395700
Original price was: $19.98.$12.31Current price is: $12.31.
-38%
eText ISBN: 9781786466112
Original price was: $48.32.$29.77Current price is: $29.77.
-38%
Bestsellers
eText ISBN: 9780735637887
Original price was: $23.32.$14.37Current price is: $14.37.
Reviews
There are no reviews yet.