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

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

Price
$ 69.99
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;

424 pages, 98 Illustrations, color; 28 Illustrations, black and white; XIII, 424 p. 126 illus., 98 i

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 20, 2022
ISBN13 9783031197611
Publishers Springer International Publishing AG
Pages 424
Dimensions 155 × 233 × 25 mm   ·   664 g
Language German  
Editor Margaria, Tiziana
Editor Steffen, Bernhard

More from the same publisher