Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings de Andreas Podelski

Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings: Lecture Notes in Computer Science, cartea 11002

Editat de Andreas Podelski

en Limba Engleză Paperback – 29 aug 2018

This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018.

The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program understanding, and software maintenance.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 327^.36 lei

Preț vechi: 409^.20 lei
-20% Nou

Puncte Express: 491

:
57^.94€ • 67^.94$ • 50^.80£

Carte tipărită la comandă

Livrare economică 26 ianuarie-09 februarie 26

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783319997247
ISBN-10: 3319997246
Pagini: 500
Ilustrații: X, 445 p. 102 illus.
Dimensiuni: 155 x 235 mm
Greutate: 0.64 kg
Ediția:1st ed. 2018
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Cham, Switzerland

Cuprins

Static Analysis.- Program Verification.-Bug Detection.- Compiler Organization.- Program Understanding.- Software Maintenance.