Formal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
Alessandro Cimatti
Out of stock
Format: Book (Paperback / softback)
C++20 Recipes : A Problem-Solution Approach
J. Burton Browning
Out of stock
Format: Book (Paperback / softback)
Exploring C++20 : The Programmer's Introduction to C++
Ray Lischner
Out of stock
Format: Book (Paperback / softback)
Clean C++20 : Sustainable Software Development Patterns and Best Practices
Stephan Roth
Out of stock
Format: Book (Paperback / softback)
Model Checking Software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings
Matthew Dwyer
Download - Immediately Available
Format: eBook (PDF)
Programming Languages : 20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016, Proceedings
Fernando Castor
Download - Immediately Available
Format: eBook (PDF)
Accelerator Programming Using Directives : 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings
Sridutt Bhalachandra
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 BasketEuro-Par 2014: Parallel Processing : 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings
Fernando Silva
Download - Immediately Available
Format: eBook (PDF)
NASA Formal Methods : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
Mihaela Bobaru
Download - Immediately Available
Format: eBook (PDF)
Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Margus Veanes
Out of stock
Format: Book (Paperback / softback)
Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Margus Veanes
Download - Immediately Available
Format: eBook (PDF)
Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Nadia Polikarpova
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 BasketModel 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)
Runtime Verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings
Jyotirmoy Deshmukh
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 BasketProgramming Languages and Systems : 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings
Ilya Sergey
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£54.99
£49.15
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketComputer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
Ganesh Gopalakrishnan
Download - Immediately Available
Format: eBook (PDF)
Functional and Constraint Logic Programming : 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings
Herbert Kuchen
Download - Immediately Available
Format: eBook (PDF)
Grammatical Inference: Algorithms and Applications : 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings
Yasibumi Sakaibara
Download - Immediately Available
Format: eBook (PDF)
Conceptual Modeling - ER 2008 : 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008, Proceedings
Qing Li
Download - Immediately Available
Format: eBook (PDF)
Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Peter Csaba Olveczky
Out of stock
Format: Book (Paperback / softback)
Product-Focused Software Process Improvement : 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings
Xavier Franch
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 BasketDevelopments in Language Theory : 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010, Proceedings
Yuan Gao
Download - Immediately Available
Format: eBook (PDF)
FM 2011: Formal Methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
Michael Butler
Download - Immediately Available
Format: eBook (PDF)
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