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

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

Price
$ 89.99
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.

582 pages, 110 Illustrations, color; 2317 Illustrations, black and white; XXIII, 582 p. 2427 illus.,

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

Mere med samme udgiver