paperback. Condizione: Very Good.
Lingua: Inglese
Editore: Springer International Publishing AG, Cham, 2025
ISBN 10: 3031747755 ISBN 13: 9783031747755
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers presented in this book deal with theoretical, practical and application advances in this area.The 18 papers included here were carefully reviewed and selected from 45 submissions. This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Condizione: New.
Lingua: Inglese
Editore: Springer-Nature New York Inc, 2025
ISBN 10: 3031747755 ISBN 13: 9783031747755
Da: Revaluation Books, Exeter, Regno Unito
EUR 128,65
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 474 pages. 9.25x6.10x9.25 inches. In Stock.
Da: preigu, Osnabrück, Germania
EUR 77,25
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Static Analysis | 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings | Roberto Giacobazzi (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2025 | Springer | EAN 9783031747755 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 85,59
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 31stInternational Static Analysis Symposium, SAS 2024, held inPasadena, CA, USA, in October 2024.Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers presented in this book deal with theoretical, practical and application advances in this area.The 18papers included here were carefully reviewed and selected from 45 submissions.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 70,24
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
Lingua: Inglese
Editore: Springer, Springer Jan 2025, 2025
ISBN 10: 3031747755 ISBN 13: 9783031747755
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 85,59
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 31stInternational Static Analysis Symposium, SAS 2024, held inPasadena, CA, USA, in October 2024.Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers presented in this book deal with theoretical, practical and application advances in this area.The 18papers included here were carefully reviewed and selected from 45 submissions. 476 pp. Englisch.
Da: moluna, Greven, Germania
EUR 74,71
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.
Da: Majestic Books, Hounslow, Regno Unito
EUR 136,61
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.
Lingua: Inglese
Editore: Springer, Springer Jan 2025, 2025
ISBN 10: 3031747755 ISBN 13: 9783031747755
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 85,59
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024.Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers presented in this book deal with theoretical, practical and application advances in this area.The 18 papers included here were carefully reviewed and selected from 45 submissions.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 476 pp. Englisch.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 137,50
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND.