EUR 12,89 gastos de envío desde China a España
Destinos, gastos y plazos de envíoLibrería: liu xing, Nanjing, JS, China
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. Nº de ref. del artículo: NY048198
Cantidad disponible: 3 disponibles