Cantitate/Preț
Produs
Total produse
Vezi coșul
Static Analysis de Francesco Ranzato

Static Analysis: Lecture Notes in Computer Science, cartea 10422

Editat de Francesco Ranzato
en Limba Engleză Paperback – 21 aug 2017
This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017. The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. The papers cover various aspects of the presentation of theoretical, practical, and applicational advances in area of static analysis that is recognized as a fundamental tool for program verification, bug detection, compiler organization, program understanding, and software maintenance. 
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 33180 lei

Preț vechi: 41475 lei
-20%

Puncte Express: 498

Carte tipărită la comandă

Livrare economică 25 iulie-08 august

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783319667058
ISBN-10: 331966705X
Pagini: 488
Ilustrații: XIV, 473 p. 114 illus.
Dimensiuni: 155 x 235 x 27 mm
Greutate: 0.73 kg
Ediția:1st edition 2017
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland

Cuprins

Theoretical, practical, and applicational advances in area of static analysis.- Program verification.- Bug detection.-  Compiler organization.- Program understanding.- Software maintenance.