Автор: Rival Название: Static Analysis ISBN: 3662534126 ISBN-13(EAN): 9783662534120 Издательство: Springer Рейтинг: Цена: 9224.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016. The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow analysis; model checking; new applications; program transformation; program verification; security analysis; theoretical frameworks; and type checking.
Автор: Markus M?ller-Olm; Helmut Seidl Название: Static Analysis ISBN: 3319109359 ISBN-13(EAN): 9783319109350 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.
Автор: Sandrine Blazy; Thomas Jensen Название: Static Analysis ISBN: 3662482878 ISBN-13(EAN): 9783662482872 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015. The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions.
Автор: Manuel Hermenegildo; German Puebla Название: Static Analysis ISBN: 3540442359 ISBN-13(EAN): 9783540442356 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Compiled from the proceedings of the 9th International Static Analysis Symposium, this volume contains 32 revised full papers. They are organized by topic and include papers on theory, data structure analysis, type inference, analysis of numerical problems, implementation and data flow analysis.
Автор: Agostino Cortesi; Gilberto File Название: Static Analysis ISBN: 3540664599 ISBN-13(EAN): 9783540664598 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In the text, topics include sections on synchronization in Java programs, synchronous languages, abstract domains, concurrency, static single assignment and foundations.
Автор: Giorgio Levi Название: Static Analysis ISBN: 3540650148 ISBN-13(EAN): 9783540650140 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text constitutes the proceedings of the 5th International Symposium on Static Analysis held in September 1998. The papers presented are organized into topical sections on data flow analysis, logic programming, concurrency, abstract domains, partial evaluation, type inference and optimization.
Описание: This monograph is intended as an entry course in Abstract Interpretation, after which the reader should be ready to read the research literature on current advances in Abstract Interpretation, as well as more practical articles on the design of industrial-strength static analyzers for real languages.
Автор: Francesco Ranzato Название: Static Analysis ISBN: 331966705X ISBN-13(EAN): 9783319667058 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017.
Автор: Pascal van Hentenryck Название: Static Analysis ISBN: 3540634681 ISBN-13(EAN): 9783540634683 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These refereed proceedings of the fourth International Symposium on Static Analysis are organized in topical sections on procedural languages, logic programming, concurrency and termination.
Автор: Andreas Podelski Название: Static Analysis ISBN: 3319997246 ISBN-13(EAN): 9783319997247 Издательство: Springer Рейтинг: Цена: 10340.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018.
The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program understanding, and software maintenance.
Автор: Francesco Logozzo; Manuel F?hndrich Название: Static Analysis ISBN: 3642388558 ISBN-13(EAN): 9783642388552 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.
Автор: Jens Palsberg; Zhendong Su Название: Static Analysis ISBN: 3642032362 ISBN-13(EAN): 9783642032363 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
