Anbieter: Librodifaccia, Alessandria, AL, Italien
Zustand: Buone. italiano Condizioni dell'esterno: Molto buone Condizioni dell'interno: Molto buone.
Anbieter: Genesis Books, Fonte Nuova, RM, Italien
Zustand: As New. **Per foto ed ulteriori informazioni contattateci** . Perfetto (Mint). Book.
paperback. Zustand: Very Good.
EUR 45,67
Anzahl: 1 verfügbar
In den WarenkorbHardback. Zustand: New.
Sprache: Italienisch
Verlag: Mondadori (3 settembre 2024), 2024
ISBN 10: 880479187X ISBN 13: 9788804791874
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
EUR 46,26
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: New.
Sprache: Englisch
Verlag: Springer International Publishing AG, Cham, 2025
ISBN 10: 3031747755 ISBN 13: 9783031747755
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Paperback. Zustand: 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.
Sprache: Italienisch
Verlag: , Baldini Castoldi Dalai Editore, 2003
ISBN 10: 8884904757 ISBN 13: 9788884904751
Anbieter: librisaggi, SAN VITO ROMANO, Italien
brossura. Zustand: 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.
Sprache: Italienisch
Verlag: , Baldini Castoldi Dalai, 2003
ISBN 10: 8884904757 ISBN 13: 9788884904751
Anbieter: librisaggi, SAN VITO ROMANO, Italien
brossura. Zustand: Poor. 0. Copertina cartonata con alette informative, sporca. Tagli sporchi di polvere. Pagine ingiallite . Collana:"I Saggi 241". 8884904757 Mediocre (Poor) . Book.
Zustand: New.
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2025
ISBN 10: 3031747755 ISBN 13: 9783031747755
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 128,65
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 474 pages. 9.25x6.10x9.25 inches. In Stock.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: 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.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: 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.
Erscheinungsdatum: 1976
Anbieter: Libreria Piani, Monte San Pietro, BO, Italien
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.
Sprache: Portugiesisch
Verlag: Novas Edições Acadêmicas, 2015
ISBN 10: 3841712460 ISBN 13: 9783841712462
Anbieter: moluna, Greven, Deutschland
EUR 46,18
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Sprache: Italienisch
Verlag: Mondadori (3 settembre 2024), 2024
ISBN 10: 880479187X ISBN 13: 9788804791874
Anbieter: Rarewaves.com UK, London, Vereinigtes Königreich
EUR 30,15
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: New.
EUR 42,08
Anzahl: 1 verfügbar
In den WarenkorbHardback. Zustand: New.
Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien
EUR 70,24
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: new. Questo è un articolo print on demand.
Sprache: Englisch
Verlag: Springer, Springer Jan 2025, 2025
ISBN 10: 3031747755 ISBN 13: 9783031747755
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: 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.
Anbieter: moluna, Greven, Deutschland
EUR 74,71
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 136,61
Anzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand.
Sprache: Englisch
Verlag: Springer, Springer Jan 2025, 2025
ISBN 10: 3031747755 ISBN 13: 9783031747755
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: 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.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND.