Static Analysis - 4 Angebote vergleichen
Preise | 2015 | 2016 | 2023 |
---|---|---|---|
Schnitt | € 63,37 | € 57,99 | € 42,79 |
Nachfrage |
1
Symbolbild
Static Analysis
DE NW
ISBN: 9783319109367 bzw. 3319109367, in Deutsch, Springer International Publishing, neu.
Lieferung aus: Österreich, zzgl. Versandkosten, Sofort per Download lieferbar.
21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings, This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in September 2014. The 20 revised full papers were selected from 53 submissions and are presented together with 3 invited talks. The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.
21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings, This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in September 2014. The 20 revised full papers were selected from 53 submissions and are presented together with 3 invited talks. The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.
2
Symbolbild
Static Analysis
DE NW
ISBN: 9783319109367 bzw. 3319109367, in Deutsch, neu.
Lieferung aus: Schweiz, zzgl. Versandkosten, Sofort per Download lieferbar.
21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings, This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in September 2014. The 20 revised full papers were selected from 53 submissions and are presented together with 3 invited talks. The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.
21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings, This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in September 2014. The 20 revised full papers were selected from 53 submissions and are presented together with 3 invited talks. The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.
3
Static Analysis (2014)
~EN NW EB DL
ISBN: 9783319109367 bzw. 3319109367, vermutlich in Englisch, Springer Nature, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, 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
4
Static Analysis
DE NW EB
ISBN: 9783319109367 bzw. 3319109367, in Deutsch, Springer Science+Business Media, neu, E-Book.
Lieferung aus: Vereinigte Staaten von Amerika, 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
Lade…