Principles of Abstract Interpretation
af Patrick Cousot
Bog, Hardback, Engelsk, 2021
"An introduction to the theory and practice of abstract interpretation, with applications to the semantics, specification, verification, and static analysis of computer programs"--
Priser fra 4 boghandlere
- BoghandlerPrisFragtLevering
- Bogreolen828,95 kr.0,00 kr.4-7 hverdageKøb for 828,95 kr.Køb
- Tales829,95 kr.34,95 kr.4-7 hverdageKøb for 829,95 kr.Køb
- Pling BØGER873,95 kr.34,95 kr.4-7 hverdageKøb for 873,95 kr.Køb
- SAXO874,95 kr.Gratis fragtUkendtKøb for 874,95 kr.Køb
Bogdetaljer
- SprogEngelsk
- IndbindingHardback
- ISBN9780262044905
- Udgivet21/09/2021
- Udgivet afMIT Press Ltd
- Længde816 sider
- ForfatterPatrick Cousot
- GenreBusiness og læring, Computer og IT