Anbieter: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Vereinigtes Königreich
EUR 12,21
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. Minor wear at edges/corners. Faint storage scratches to cover. Light marks at extremities of text blocks. Text as new and unread.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 82,56
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Verlag: Now Publishers Inc 2015-01, 2015
ISBN 10: 1680830023 ISBN 13: 9781680830026
Sprache: Englisch
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 76,71
Währung umrechnenAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 103,88
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 128 pages. 9.21x6.14x0.28 inches. In Stock.
Anbieter: dsmbooks, Liverpool, Vereinigtes Königreich
EUR 102,35
Währung umrechnenAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Very Good. Very Good. book.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 71,81
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Books Puddle, New York, NY, USA
EUR 138,07
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 128.
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 83,18
Währung umrechnenAnzahl: 15 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Anbieter: PBShop.store US, Wood Dale, IL, USA
EUR 87,68
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
EUR 95,79
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback / softback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 225.
Anbieter: moluna, Greven, Deutschland
EUR 101,56
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. KlappentextModular heap analysis techniques analyze a program by computing summaries for every procedure in the program that describes its effects on an input heap, using pre-computed summaries for the called procedures. In A Framework F.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 114,36
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Modular heap analysis techniques analyze a program by computing summaries for every procedure in the program that describes its effects on an input heap, using pre-computed summaries for the called procedures. In A Framework For Efficient Modular Heap Analysis, the focus is on a family of modular heap analyses that summarize a procedure's heap effects using a context-independent, shape-graph-like summary that is agnostic to the aliasing in the input heap. These analyses are very efficient but their complexity and the absence of a theoretical formalization and correctness proofs makes it hard to produce correct extensions and modifications of these algorithms - whether to improve precision or scalability or to compute more information. A Framework For Efficient Modular Heap Analysis presents a modular heap analysis framework that generalizes these four analyses. It formalizes this framework as an abstract interpretation and establishes the correctness and termination guarantees. It formalizes the four analyses as instances of the framework. The formalization explains the basic principle behind such modular analyses and simplifies the task of producing extensions and variations of such analyses.A Framework For Efficient Modular Heap Analysis is written with exceptional clarity and is a delightful read for program analysis experts and novices alike.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 141,81
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 128.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
EUR 147,94
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. PRINT ON DEMAND pp. 128.