Da: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Regno Unito
EUR 12,16
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Very Good. Minor wear at edges/corners. Faint storage scratches to cover. Light marks at extremities of text blocks. Text as new and unread.
EUR 73,39
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 82,17
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
EUR 79,34
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 83,07
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Editore: Now Publishers Inc 2015-01, 2015
ISBN 10: 1680830023 ISBN 13: 9781680830026
Lingua: Inglese
Da: Chiron Media, Wallingford, Regno Unito
EUR 76,35
Convertire valutaQuantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
EUR 88,39
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
EUR 104,49
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 128 pages. 9.21x6.14x0.28 inches. In Stock.
Da: dsmbooks, Liverpool, Regno Unito
EUR 102,89
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: Very Good. Very Good. book.
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
EUR 72,19
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Books Puddle, New York, NY, U.S.A.
EUR 138,80
Convertire valutaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. 128.
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
EUR 82,79
Convertire valutaQuantità: 15 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Da: PBShop.store US, Wood Dale, IL, U.S.A.
EUR 88,14
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
EUR 95,35
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloPaperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 225.
Da: moluna, Greven, Germania
EUR 101,56
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 114,36
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: Majestic Books, Hounslow, Regno Unito
EUR 142,55
Convertire valutaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 128.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 147,94
Convertire valutaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 128.