Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV - Lecture Notes in Co - - Books - Springer Nature Switzerland AG - 9783030837228 - August 5, 2021
In case cover and title do not match, the title is correct

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV - Lecture Notes in Co 1st ed. 2021 edition

Price
$ 54.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 21 - 27

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 four-volume set LNCS 12476 - 12479 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.

265 pages, 72 Illustrations, color; 17 Illustrations, black and white; XII, 265 p. 89 illus., 72 ill

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 5, 2021
ISBN13 9783030837228
Publishers Springer Nature Switzerland AG
Pages 265
Dimensions 150 × 220 × 10 mm   ·   433 g
Language German  
Editor Margaria, Tiziana
Editor Steffen, Bernhard

More from the same publisher