Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Procee
Alessandro Fantechi
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 BasketVerification, Model Checking, and Abstract Interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
Isil Dillig
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 BasketVerification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings
Constantin Enea
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 BasketSoftware Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings
Frank de Boer
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£49.99
£40.39
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketFormal Verification of Object-Oriented Software : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Bernhard Beckert
Item not Available
Format: Book (Paperback / softback)
£53.99
£45.25
Item not Available
Book (Paperback / softback)
Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Sharon Barner
Item not Available
Format: Book (Paperback / softback)
£53.99
£45.25
Item not Available
Book (Paperback / softback)
Improving Software Testing : Technical and Organizational Developments
Tim A. Majchrzak
Item not Available
Format: Book (Paperback / softback)
£44.99
£37.59
Item not Available
Book (Paperback / softback)
Model Checking Software : 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings
Alastair Donaldson
Item not Available
Format: Book (Paperback / softback)
£41.99
£35.55
Item not Available
Book (Paperback / softback)
Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings
Roberto Giacobazzi
Out of stock
Format: Book (Paperback / softback)
Model-Based Software Performance Analysis
Vittorio Cortellessa
Item not Available
Format: Book (Paperback / softback)
£49.99
£40.99
Item not Available
Book (Paperback / softback)
Testing Software and Systems : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings
Franz Wotawa
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 BasketNumerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Alessandro Abate
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 BasketSoftware Reliability Modeling : Fundamentals and Applications
Shigeru Yamada
Item not Available
Format: Book (Paperback / softback)
£44.99
£37.59
Item not Available
Book (Paperback / softback)