Anbieter: libreriauniversitaria.it, Occhiobello, RO, Italien
Zustand: NEW.
Anbieter: Librodifaccia, Alessandria, AL, Italien
Zustand: Buone. italiano Condizioni dell'esterno: Molto buone Condizioni dell'interno: Molto buone.
paperback. Zustand: Very Good.
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: Englisch
Verlag: Springer-Nature New York Inc, 2025
ISBN 10: 3031747755 ISBN 13: 9783031747755
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 114,85
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 474 pages. 9.25x6.10x9.25 inches. In Stock.
Sprache: Englisch
Verlag: Springer Nature Switzerland, Springer Nature Switzerland Jan 2025, 2025
ISBN 10: 3031747755 ISBN 13: 9783031747755
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: 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.
Sprache: Englisch
Verlag: Springer Nature Switzerland, Springer Nature Switzerland, 2025
ISBN 10: 3031747755 ISBN 13: 9783031747755
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.
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.
Anbieter: medimops, Berlin, Deutschland
Zustand: 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.