Static Analysis - 6 Angebote vergleichen
Bester Preis: Fr. 22.94 (€ 23.44)¹ (vom 25.01.2021)1
Static Analysis
~EN NW EB DL
ISBN: 9783030323042 bzw. 3030323048, vermutlich in Englisch, Springer Shop, neu, E-Book, elektronischer Download.
Lieferung aus: Mexiko, Lagernd, zzgl. Versandkosten.
This book constitutes the refereed proceedings of the 26th International Symposium on Static Analysis, SAS 2019, held in Porto, Portugal, in October 2019. The 20 regular papers presented in this book were carefully reviewed and selected from 50 submissions. The papers are grouped in topical sections on pointers and dataflow; languages and decidability; numerical; trends: assuring machine learning; synthesis and security; and temporal properties and termination. eBook.
This book constitutes the refereed proceedings of the 26th International Symposium on Static Analysis, SAS 2019, held in Porto, Portugal, in October 2019. The 20 regular papers presented in this book were carefully reviewed and selected from 50 submissions. The papers are grouped in topical sections on pointers and dataflow; languages and decidability; numerical; trends: assuring machine learning; synthesis and security; and temporal properties and termination. eBook.
2
Static Analysis (2016)
~EN PB NW RP
ISBN: 9781537672434 bzw. 1537672436, vermutlich in Englisch, CreateSpace Independent Publishing Platform, Taschenbuch, neu, Nachdruck.
Lieferung aus: Vereinigtes Königreich Grossbritannien und Nordirland, plus shipping, Shipping area: EUR.
Von Händler/Antiquariat, Revaluation Books, DEVON, Exeter, [RE:3].
58 pages. 11.00x8.50x0.14 inches. This item is printed on demand. Softcover.
Von Händler/Antiquariat, Revaluation Books, DEVON, Exeter, [RE:3].
58 pages. 11.00x8.50x0.14 inches. This item is printed on demand. Softcover.
3
Static Analysis
~EN PB NW
ISBN: 9783030888053 bzw. 3030888053, vermutlich in Englisch, Springer Shop, Taschenbuch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Lagernd, zzgl. Versandkosten.
This book constitutes the refereed proceedings of the 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021. The 18 regular and 4 short papers, carefully reviewed and selected from 48 submissions, are presented in this book together with 1-page summaries of the three invited talks. The papers cover topics such as static program analysis, abstract domain, abstract interpretation, automated deduction, debugging techniques, deductive methods, model checking, data science, program optimizations and transformations, program synthesis, program verification, and security analysis. Soft cover.
This book constitutes the refereed proceedings of the 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021. The 18 regular and 4 short papers, carefully reviewed and selected from 48 submissions, are presented in this book together with 1-page summaries of the three invited talks. The papers cover topics such as static program analysis, abstract domain, abstract interpretation, automated deduction, debugging techniques, deductive methods, model checking, data science, program optimizations and transformations, program synthesis, program verification, and security analysis. Soft cover.
4
Static Analysis
~EN NW EB DL
ISBN: 9783030654740 bzw. 3030654745, vermutlich in Englisch, Springer Shop, neu, E-Book, elektronischer Download.
Lieferung aus: Schweiz, Lagernd, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
Static Analysis
~EN PB NW
ISBN: 3030888053 bzw. 9783030888053, vermutlich in Englisch, Springer International Publishing, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…