Gorla Alessandra (7 results)

Author: 
Refine with Advanced Search

Refine your search

  • Books (7)

  • New (7)
Learn more

to

Custom price range (£)

to

  • Language: English

    Published by Springer International Publishing AG, Cham, 2025

    3031747755 / 9783031747755

    • Softcover

    Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail

    5-star seller
    Contact seller

    Condition: New

    £ 93.60

     Free Shipping 
    Ships within U.S.A.

    Quantity: 1 available

    Paperback. Condition: 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.…

  • Language: English

    Published by Springer, 2025

    3031747755 / 9783031747755

    • Softcover

    Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH

    5-star seller
    Contact seller

    Condition: New

    £ 80.01

    £ 29.70 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    Taschenbuch. Condition: 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.…

  • Language: English

    Published by Springer-Nature New York Inc, 2025

    3031747755 / 9783031747755

    • Softcover

    Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

    5-star seller
    Contact seller

    Condition: New

    £ 109.63

    £ 12.50 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 1 available

    Paperback. Condition: Brand New. 474 pages. 9.25x6.10x9.25 inches. In Stock.

  • Language: English

    Published by Springer, 2025

    3031747755 / 9783031747755

    • Softcover
    • Print on Demand

    Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand

    5-star seller
    Contact seller

    Condition: New

    £ 61.40

    £ 5.77 shipping 
    Ships from Italy to U.S.A.

    Quantity: Over 20 available

    Condition: new. Questo è un articolo print on demand.

  • Language: English

    Published by Springer, Springer Jan 2025, 2025

    3031747755 / 9783031747755

    • Softcover
    • Print on Demand

    Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.

    5-star seller
    Contact seller

    Condition: New

    £ 74.81

    £ 19.52 shipping 
    Ships from Germany to U.S.A.

    Quantity: 2 available

    Taschenbuch. Condition: 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.…

  • Language: English

    Published by Springer Verlag GmbH, 2025

    3031747755 / 9783031747755

    • Softcover
    • Print on Demand

    Seller: moluna, Greven, Germanymoluna

    5-star seller
    Contact seller

    Condition: New

    £ 65.30

    £ 41.57 shipping 
    Ships from Germany to U.S.A.

    Quantity: Over 20 available

    Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.

  • Language: English

    Published by Springer, Springer Jan 2025, 2025

    3031747755 / 9783031747755

    • Softcover
    • Print on Demand

    Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000

    5-star seller
    Contact seller

    Condition: New

    £ 74.81

    £ 50.92 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    Taschenbuch. Condition: 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.…