Static Analysis, Jens Palsberg; Zhendong Su

Автор: 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.

Автор: Langer
Название: Analysis and Design of Information Systems
ISBN: 1846286549 ISBN-13(EAN): 9781846286544
Издательство: Springer
Рейтинг:
Цена: 11878.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In any software design project, the analysis stage - documenting and designing technical requirements for the needs of users - is vital to the project`s success. This book provides an introduction to various aspects of analysis. It is useful to students, practitioners and professionals who need an understanding of the principles of this process.

Автор: Ingvar Eidhammer
Название: Protein Bioinformatics: An Algorithmic Approach to Sequence and Structure Analysis
ISBN: 0470848391 ISBN-13(EAN): 9780470848395
Издательство: Wiley
Рейтинг:
Цена: 12189.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book takes the novel approach to cover both the sequence and structure analysis of proteins in one volume and from an algorithmic perspective. Key features of the book include:* Provides a comprehensive introduction to the analysis of protein sequence and structure analysis.