Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings
Tiziana Margaria
Download - Immediately Available
Format: eBook (PDF)
Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings
Tiziana Margaria
Download - Immediately Available
Format: eBook (PDF)
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III
Tiziana Margaria
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£59.99
£53.35
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV
Tiziana Margaria
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 Basket
