Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV

Product form

£49.49

Includes FREE delivery

RRP £54.99 – you save £5.50 (10%)

Order before 4pm today for delivery by Sat 20 Jun 2026.

A Paperback by Tiziana Margaria, Bernhard Steffen

Quantity

Out of stock

 

 

View other formats and editions of Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV by Tiziana Margaria

Publisher: Springer International Publishing AG
Publication Date: 20/10/2022
ISBN13: 9783031197611, 978-3031197611
ISBN10: 3031197615