Condition: acceptable. Ausreichend/Acceptable: Exemplar mit vollständigem Text und sämtlichen Abbildungen oder Karten. Schmutztitel oder Vorsatz können fehlen. Einband bzw. Schutzumschlag weisen unter Umständen starke Gebrauchsspuren auf. / Describes a book or dust jacket that has the complete text pages (including those with maps or plates) but may lack endpapers, half-title, etc. (which must be noted). Binding, dust jacket (if any), etc may also be worn.
Seller: libreriauniversitaria.it, Occhiobello, RO, Italy
Condition: NEW.
Condition: Buone. italiano Condizioni dell'esterno: Molto buone Condizioni dell'interno: Molto buone.
Seller: Genesis Books, Fonte Nuova, RM, Italy
Condition: As New. **Per foto ed ulteriori informazioni contattateci** . Perfetto (Mint). Book.
Language: Italian
Published by Mondadori (3 settembre 2024), 2024
ISBN 10: 880479187X ISBN 13: 9788804791874
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Paperback. Condition: New.
paperback. Condition: Very Good.
Hardback. Condition: New.
Hardback. Condition: New.
Language: English
Published by Springer International Publishing AG, Cham, 2025
ISBN 10: 3031747755 ISBN 13: 9783031747755
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
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.
Torino, 1976, 8vo stralcio con copertina posticcia muta, pp. 255/266 con 3 grafici. - !! ATTENZIONE !!: Con il termine estratto (o stralcio) intendiamo riferirci ad un fascicolo contenente un articolo, completo in se, sia che esso sia stato stampato a parte utilizzando la stessa composizione sia che provenga direttamente da una rivista. Le pagine sono indicate come "da/a", ad esempio: 229/231 significa che il testo è composto da tre pagine. Quando la rivista di provenienza non viene indicata é perché ci è sconosciuta. - !! ATTENTION !!: : NOT A BOOK : ?extract? or ?excerpt? means simply a few pages, original nonetheless, printed in a magazine. Pages are indicated as in "from? ?to", for example: 229/231 means the text comprises three pages (229, 230 and 231). If the magazine that contained the pages is not mentioned, it is because it is unknown to us.
Language: Italian
Published by , Baldini Castoldi Dalai, 2003
ISBN 10: 8884904757 ISBN 13: 9788884904751
Seller: librisaggi, SAN VITO ROMANO, Italy
brossura. Condition: Poor. 0. Copertina cartonata con alette informative, sporca. Tagli sporchi di polvere. Pagine ingiallite . Collana:"I Saggi 241". 8884904757 Mediocre (Poor) . Book.
Language: Italian
Published by , Baldini Castoldi Dalai Editore, 2003
ISBN 10: 8884904757 ISBN 13: 9788884904751
Seller: librisaggi, SAN VITO ROMANO, Italy
brossura. Condition: Poor. 0. Copertina cartonata con alette informative, lievemente sporca. Tagli sporchi di polvere e ingialliti, pagine ingiallite lievemente. Collana:"Saggi 241". 8884904757 Mediocre (Poor) . Book.
Language: English
Published by Springer-Nature New York Inc, 2025
ISBN 10: 3031747755 ISBN 13: 9783031747755
Seller: Revaluation Books, Exeter, United Kingdom
US$ 134.23
Quantity: 1 available
Add to basketPaperback. Condition: Brand New. 474 pages. 9.25x6.10x9.25 inches. In Stock.
Language: English
Published by Springer Nature Switzerland, Springer Nature Switzerland Jan 2025, 2025
ISBN 10: 3031747755 ISBN 13: 9783031747755
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. 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 GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch.
Language: English
Published by Springer Nature Switzerland, Springer Nature Switzerland, 2025
ISBN 10: 3031747755 ISBN 13: 9783031747755
Seller: AHA-BUCH GmbH, Einbeck, Germany
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.
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. Static Analysis | 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings | Roberto Giacobazzi (u. a.) | Taschenbuch | 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.
Hardback. Condition: New.
Language: Portuguese
Published by Novas Edições Acadêmicas, 2015
ISBN 10: 3841712460 ISBN 13: 9783841712462
Seller: moluna, Greven, Germany
Condition: New.
Language: Italian
Published by Mondadori (3 settembre 2024), 2024
ISBN 10: 880479187X ISBN 13: 9788804791874
Seller: Rarewaves.com UK, London, United Kingdom
US$ 35.05
Quantity: 1 available
Add to basketPaperback. Condition: New.
US$ 48.68
Quantity: 1 available
Add to basketHardback. Condition: New.
Seller: Brook Bookstore On Demand, Napoli, NA, Italy
Condition: new. Questo è un articolo print on demand.
Language: English
Published by Springer, Berlin, Springer Nature Switzerland, Springer, 2025
ISBN 10: 3031747755 ISBN 13: 9783031747755
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
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. 464 pp. Englisch.