Static Analysis: 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings - Lecture Notes in Computer Science - Manuel V. Hermenegildo - Books - Springer International Publishing AG - 9783031442445 - October 24, 2023
In case cover and title do not match, the title is correct

Manuel V. Hermenegildo
Static Analysis: 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings - Lecture Notes in Computer Science 2023 edition

Get an email once the item is available
Do you have a profile? Log in
Get notified about new Manuel V. Hermenegildo 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

This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023. The 20 full papers included in this book were carefully reviewed and selected from 40 submissions.

566 pages, 64 Illustrations, color; 72 Illustrations, black and white; XV, 566 p. 136 illus., 64 ill

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 24, 2023
ISBN13 9783031442445
Publishers Springer International Publishing AG
Pages 566
Dimensions 150 × 220 × 10 mm   ·   802 g
Language English  
Editor Hermenegildo, Manuel V.
Editor Morales, Jose F.

More from the same publisher

See all of Manuel V. Hermenegildo ( e.g. Paperback Book )