🔥🛒 Black Friday Reloaded — Another Week of Big Deals!

Recently Viewed

Frontiers of Combining Systems: 11th International Symposium, FroCoS 2017, Brasilia, Brazil, September 27-29, 2017, Proceedings by Clare Dixon 9783319661667
New

Frontiers of Combining Systems: 11th International Symposium, FroCoS 2017, Brasilia, Brazil, September 27-29, 2017, Proceedings by Clare Dixon 9783319661667

No reviews yet Write a Review
RRP: $70.94
Booksplease Price: $64.19
Booksplease saves you

  Bookmarks: Included free with every order
  Delivery: We ship to over 200 countries from the UK
  Range: Millions of books available
  Reviews: Booksplease rated "Excellent" on Trustpilot

  FREE UK DELIVERY: When You Buy 3 or More Books - Use code: FREEUKDELIVERY in your cart!

SKU:
9783319661667
MPN:
9783319661667
Available from Booksplease!
Availability: Usually dispatched within 2 working days
Ask Questions

Frequently Bought Together:

Total: Inc. VAT
Total: Ex. VAT

Description

This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Brasilia, Bazil, in September 2017.

The 17 papers presented in this volume were carefully reviewed and selected from 26 submissions. They were organized in topical sections named: description and temporal logics, decision procedures, decidability and verification, SAT, SMT and automated theorem proving, term rewriting, and properties and combinations of logics.

The paper 'Subtropical Satisfiability' is open access under a CC BY 4.0 license via link.springer.com.



Book Information
ISBN 9783319661667
Author Clare Dixon
Format Paperback
Page Count 351
Imprint Springer International Publishing AG
Publisher Springer International Publishing AG

Reviews

No reviews yet Write a Review

Related Titles

Booksplease  Reviews

J - United Kingdom

Fast and efficient way to choose and receive books

This is my second experience using Booksplease. Both orders dealt with very quickly and despatched. Now waiting for my next read to drop through the letterbox.

J - United Kingdom

T - United States

Will definitely use again!

Great experience and I have zero concerns. They communicated through the shipping process and if there was any hiccups in it, they let me know. Books arrived in perfect condition as well as being fairly priced. 10/10 recommend. I will definitely shop here again!

T - United States

R - Spain

The shipping was just superior

The shipping was just superior; not even one of the books was in contact with the shipping box -anywhere-, not even a corner or the bottom, so all the books arrived in perfect condition. The international shipping took around 2 weeks, so pretty great too.

R - Spain

J - United Kingdom

Found a hard to get book…

Finding a hard to get book on Booksplease and with it not being an over inflated price was great. Ordering was really easy with updates on despatch. The book was packaged well and in great condition. I will certainly use them again.

J - United Kingdom