Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III - Lecture Notes in Computer Science - - Books - Springer International Publishing AG - 9783031197581 - October 20, 2022
In case cover and title do not match, the title is correct

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III - Lecture Notes in Computer Science 1st ed. 2022 edition

Price
$ 75.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 22 - 28

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

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. formal methods for distributed computing in future railway systems;

474 pages, 61 Illustrations, color; 54 Illustrations, black and white; XIII, 474 p. 115 illus., 61 i

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 20, 2022
ISBN13 9783031197581
Publishers Springer International Publishing AG
Pages 474
Dimensions 156 × 234 × 28 mm   ·   734 g
Language German  
Editor Margaria, Tiziana
Editor Steffen, Bernhard

More from the same publisher