Integrated Formal Methods : 7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings
Michael Leuschel
Item not Available
Format: Book (Paperback / softback)
£67.99
£56.35
Item not Available
Book (Paperback / softback)
Integrated Formal Methods : 7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings
Michael Leuschel
Download - Immediately Available
Format: eBook (PDF)
Correct System Design : Symposium in Honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
Roland Meyer
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£39.99
£31.85
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketCorrect System Design : Symposium in Honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
Roland Meyer
Download - Immediately Available
Format: eBook (PDF)
Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Irelan
Heike Wehrheim
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£34.99
£28.59
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketFundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Irelan
Heike Wehrheim
Download - Immediately Available
Format: eBook (PDF)
Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
Wolfgang Ahrendt
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 BasketFormal Methods for Open Object-Based Distributed Systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
Roberto Gorrieri
Item not Available
Format: Book (Paperback / softback)
£62.99
£52.35
Item not Available
Book (Paperback / softback)
Formal Methods for Open Object-Based Distributed Systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
Roberto Gorrieri
Download - Immediately Available
Format: eBook (PDF)