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

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III - Lecture Notes in Compu 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.

490 pages, 83 Illustrations, color; 757 Illustrations, black and white; XV, 490 p. 840 illus., 83 il

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

Mere med samme udgiver