9786130766030 - abstract interpretation: computer science, semantics, monotonic function, ordered set, lattice (order), execution (computers), computer program, ... calculation, static code analysis, compiler (4 resultados)
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 136,00
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 88 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 109,85
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. Abstract Interpretation | Computer science, Semantics, Monotonic function, Ordered set, Lattice (order), Execution (computers), Computer program, Control structure, Information flow, Calculation, Static code analysis, Compiler | Frederic P. Miller (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptu…m | EAN 9786130766030 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand.
- Tapa blanda
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 136,00
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online.In computerscience, abstract interpretation is a theory of sound approximation ofthe semantics of computer pro…grams, based on monotonic functions overordered sets, especially lattices. It can be viewed as a partialexecution of a computer program which gains information about itssemantics (e.g. control structure, flow of information) withoutperforming all the calculations. Its main concrete application is formalstatic analysis, the automatic extraction of information about thepossible executions of computer programs; such analyses have two mainusages: inside compilers, to analyse programs in order to decide whethercertain optimisations or transformations are applicable; for debuggingor even the certification of programs against classes of bugs. Abstractinterpretation was formalized by Patrick Cousot and Radhia Cousot.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 88 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 137,63
Envío por EUR 60,75Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering.
