bokomslag Static Analysis
Data & IT

Static Analysis

Andreas Podelski

Pocket

749:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 445 sidor
  • 2018
This book constitutes the refereed proceedings of the 25th InternationalStatic Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August2018. The 18 papers presented in this volume were carefully reviewed andselected from 37 submissions. The contributions cover a variety ofmulti-disciplinary topics in abstract domains: program verication, bugdetection, compiler optimization, program understanding, and software maintenance.
  • Författare: Andreas Podelski
  • Format: Pocket/Paperback
  • ISBN: 9783319997247
  • Språk: Engelska
  • Antal sidor: 445
  • Utgivningsdatum: 2018-08-29
  • Förlag: Springer International Publishing AG