Cantitate/Preț
Produs

Static Analysis: 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ț: 33015 lei

Preț vechi: 41269 lei
-20%

Puncte Express: 495

Preț estimativ în valută:
5838 6695$ 5046£

Carte tipărită la comandă

Livrare economică 28 aprilie-12 mai


Specificații

ISBN-13: 9783319997247
ISBN-10: 3319997246
Pagini: 456
Ilustrații: X, 445 p. 102 illus.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.69 kg
Ediția:1st ed. 2018
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland

Cuprins

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