Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II - Lecture Notes - - Books - Springer Nature Switzerland AG - 9783030614690 - October 27, 2020
In case cover and title do not match, the title is correct

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II - Lecture Notes 1st ed. 2020 edition

Price
$ 54.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 15 - 21

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece.

544 pages, 658 Illustrations, color; 133 Illustrations, black and white; XV, 544 p. 791 illus., 658

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 27, 2020
ISBN13 9783030614690
Publishers Springer Nature Switzerland AG
Pages 544
Dimensions 150 × 220 × 10 mm   ·   848 g
Language German  
Editor Margaria, Tiziana
Editor Steffen, Bernhard

Mere med samme udgiver