[email protected]
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

Frontiers of Combining Systems

Language EnglishEnglish
Book Paperback
Book Frontiers of Combining Systems Carsten Lutz
Libristo code: 09511289
Publishers Springer International Publishing AG, October 2015
This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining... Full description
? points 161 b
68.07 € včetně DPH
Low in stock at our supplier Shipping in 13-16 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

COMING SOON
Habe ich denn allein gejubelt? Eva Sternheim-Peters / Hardback
common.buy 26.75 €
No Man's Sky R C Cline / Hardback
common.buy 43.98 €
Wie sozial waren die Nationalsozialisten? Karl-Otto Albrecht / Paperback
common.buy 8.55 €
Contemporary Legend / Paperback
common.buy 77.70 €
Defending the U.S. Air Transportation System Against Chemical and Biological Threats Committee on Assessment of Security Technologies for Transportation / Paperback
common.buy 26.96 €
High Weald, Royal Tunbridge Wells Ordnance Survey / Map
common.buy 20.86 €
Ladybird: of Love and Honor Samantha Livingston / Hardback
common.buy 40.88 €
Marshall of Santa Fe Ralph Gatlin / Hardback
common.buy 37.99 €
Automated Technology for Verification and Analysis Bernd Finkbeiner / Paperback
common.buy 68.07 €

This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015.§§The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in topical sections named: description logics; theorem proving and model building; decision procedures; decision procedures for verification; rewriting and constraint solving; transformations between symbolic systems; combination methods; and reasoning in large theories. The book also contains one invited talk in full-paper length.§

About the book

Full name Frontiers of Combining Systems
Author Carsten Lutz, Silvio Ranise
Language English
Binding Book - Paperback
Date of issue 2015
Number of pages 357
EAN 9783319242453
ISBN 3319242458
Libristo code 09511289
Publishers Springer International Publishing AG
Weight 5679
Dimensions 155 x 235 x 23

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Graphical & digital media applications > 3D graphics & modelling
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer programming / software engineering
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account