Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers - Lecture Notes in Computer Science - Akash Lal - Books - Springer International Publishing AG - 9783031258022 - February 2, 2023
In case cover and title do not match, the title is correct

Akash Lal
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers - Lecture Notes in Computer Science 1st ed. 2023 edition

Price
$ 54.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 23 - 29
Get notified about new Akash Lal releases

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 papers describe software verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

167 pages, 20 Illustrations, color; 195 Illustrations, black and white; VIII, 167 p. 215 illus., 20

Media Books     Paperback Book   (Book with soft cover and glued back)
Released February 2, 2023
ISBN13 9783031258022
Publishers Springer International Publishing AG
Pages 167
Dimensions 150 × 220 × 10 mm   ·   285 g
Language English  
Editor Lal, Akash
Editor Tonetta, Stefano

More from the same publisher

See all of Akash Lal ( e.g. Paperback Book )