9787111706885 - 程序分析原理 (1 resultados)
- Tapa blanda
Librería: liu xing, Nanjing, JS, Chinaliu xing
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 153,18
Envío por EUR 15,80Se envía de China a Estados Unidos de AmericaCantidad disponible: 3 disponibles
paperback. Condición: 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.
