Spese di spedizione:
EUR 13,42
Da: Cina a: U.S.A.
Da: liu xing, Nanjing JiangSu, JS, Cina
paperback. Condizione: New. Language:Chinese.Paperback. Pub Date: 2022-08-01 Pages: 300 Publisher: Mechanical Industry Press The book is divided into 6 chapters. of which Chapter 1 is an introduction. Chapters 2~5 are data flow analysis. constraint-based analysis. Abstract interpretations. types. and action systems. and Chapter 6 is an introduction to analytical algorithms. The content of this book basically includes the classic methods and techniques in the field of program analysis. coupled with a rigorous formal syst. Codice articolo NY048198
Quantità: 3 disponibili