Bilde av Introduction To Static Analysis Av Xavier (research Director Inria Paris-rocquencourt) Rival, Kwangkeun (professor Seoul National University) Yi

Introduction To Static Analysis Av Xavier (research Director Inria Paris-rocquencourt) Rival, Kwangkeun (professor Seoul National University) Yi

A self-contained introduction to abstract interpretation–based static analysis, an essential resource for students, developers, and users.Static program analysis, or static analysis, aims to discover semantic properties of programs without running them. It plays an important role in all phases of development, including verification of specifications and programs, the synthesis of optimized code, and the refactoring and maintenance of software applications. This book offers a self-contained introduction to static analysis, covering the basics of both theoretical foundations and practical considerations in the use of static analysis tools. By offering a quick and comprehensive introduction for nonspecialists, the book fills a notable gap in the literature, which until now has consisted largely of scientific articles on advanced topics.The text covers the mathematical foundations of static analysis, including semantics, semantic abstraction, and computation of progr

Pris: kr 949.00 fra Norli

Butikk	Produktnavn	Lagerstus	Pris
	Introduction To Static Analysis Av Xavier (research Director Inria Paris-rocquencourt) Rival, Kwangkeun (professor Seoul National University) Yi	Se butikk	kr 949.00	Besøk butikk

An Introduction To Molecular Evolution And Phylogenetics Av Lindell (professor Professor Research School Of Biology Australian National University) Br

DNA can be extracted and sequenced from a diverse range of biological samples, providing a vast amount of information about evolution and ecology. The analysis of DNA sequences contributes to evolutionary biology at all levels, from dating the origin...

kr 719.00
Mer informasjon
The Age Of Algorithms Av Serge (institut National De Recherche En Informatique Et En Automatique (inria) Rocquencourt) Abiteboul, Gilles Dowek

Algorithms are probably the most sophisticated tools that people have had at their disposal since the beginnings of human history. They have transformed science, industry, society. They upset the concepts of work, property, government, private life, even...

kr 229.00
Mer informasjon
Analytic Combinatorics Av Philippe (institut National De Recherche En Informatique Et En Automatique (inria) Rocquencourt) Flajolet, Robert (princeton

The definitive treatment of analytic combinatorics. This self-contained text covers the mathematics underlying the analysis of discrete structures, with thorough treatment of a large number of applications. Exercises, examples, appendices and notes aid...

kr 1019.00
Mer informasjon
Nature That Makes Us Human Av Michel (research Director Research Director National Center For Scientific Research) Loreau

Climate change, biodiversity loss, pollution, resource depletion, new emerging diseases: scientists have raised awareness on the ecological and societal consequences of the unbridled development of human activities for a long time. Why do we keep destroying...

kr 339.00
Mer informasjon

Introduction To Static Analysis Av Xavier (research Director Inria Paris-rocquencourt) Rival, Kwangkeun (professor Seoul National University) Yi

Relaterte produkter