Model Checking Software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Maria del Mar Gallardo
Out of stock
Format: Book (Paperback / softback)
Automated Reasoning : 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
Didier Galmiche
Out of stock
Format: Book (Paperback / softback)
Logic-Based Program Synthesis and Transformation : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Fabio Fioravanti
Out of stock
Format: Book (Paperback / softback)
Principles of Modeling : Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday
Marten Lohstroh
Out of stock
Format: Book (Paperback / softback)
Intelligent Computer Mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings
Florian Rabe
Out of stock
Format: Book (Paperback / softback)
Integrated Formal Methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
Carlo A. Furia
Out of stock
Format: Book (Paperback / softback)
Reversible Computation : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings
Jarkko Kari
Out of stock
Format: Book (Paperback / softback)
Static Analysis : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
Andreas Podelski
Out of stock
Format: Book (Paperback / softback)
Rules and Reasoning : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings
Christoph Benzmuller
Out of stock
Format: Book (Paperback / softback)
Modelling Foundations and Applications : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings
Pieter Van Gorp
Out of stock
Format: Book (Paperback / softback)
Software Architecture : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings
Khalil Drira
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£37.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
ECOOP 2013 -- Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings
Giuseppe Castagna
Out of stock
Format: Book (Paperback / softback)
Model Checking Software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
Ezio Bartocci
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£37.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Armin Biere
Out of stock
Format: Book (Paperback / softback)
Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings
Robert M. Hierons
Out of stock
Format: Book (Paperback / softback)
Computational Logic in Multi-Agent Systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings
Joao Leite
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£37.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Principles and Practice of Constraint Programing-CP 2013 : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings
Christian Schulte
Out of stock
Format: Book (Paperback / softback)
Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
Axel Legay
Out of stock
Format: Book (Paperback / softback)
Reachability Problems : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings
Parosh Aziz Abdulla
Out of stock
Format: Book (Paperback / softback)
Advanced Parallel Processing Technologies : 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers
Chenggang Wu
Out of stock
Format: Book (Paperback / softback)
Trends in Functional Programming : 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers
Jay McCarthy
Out of stock
Format: Book (Paperback / softback)
Verified Software: Theorie, Tools, Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
Ernie Cohen
Out of stock
Format: Book (Paperback / softback)
Specification, Algebra, and Software : Essays Dedicated to Kokichi Futatsugi
Shusaku Iida
Out of stock
Format: Book (Paperback / softback)
Object-Process Methodology : A Holistic Systems Paradigm
Dov Dori
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£52.99
£47.45
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
