Mathematics of Program Construction, Claude Bolduc; Jules Desharnais; Bechir Ktari

Автор: Ambler
Название: The Unified Process Construction Phase
ISBN: 192962901X ISBN-13(EAN): 9781929629015
Издательство: Taylor&Francis
Рейтинг:
Цена: 7195.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Is the Unified Process the be all and end all standard for developing object-oriented component-based software? This book is the second in a four volume series that presents a critical review of the Unified Process

Автор: Oege de Moor; Michael I. Schwartzbach
Название: Compiler Construction
ISBN: 364200721X ISBN-13(EAN): 9783642007217
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 18th International Conference on Compiler Construction, CC 2009, held in York, UK, in March 2009 as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. This work covers topics including traditional compiler construction, compiler analyses and runtime systems and tools.

Автор: Javier Esparza; Rupak Majumdar
Название: Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 3642120016 ISBN-13(EAN): 9783642120015
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.

Автор: Takenobu Tokunaga; Antonio Ortega
Название: Large-Scale Knowledge Resources. Construction and Application
ISBN: 3540781587 ISBN-13(EAN): 9783540781585
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Atthestartofthe21stcentury,wearenowwellonthewaytowardsaknowled- intensive society, in which knowledge plays ever more important roles. Thus, research interest should inevitably shift from information to knowledge, with the problems of building, organizing, maintaining and utilizing knowledge - coming centralissues in a wide varietyof ?elds.

Автор: Philippe Audebaud; Christine Paulin-Mohring
Название: Mathematics of Program Construction
ISBN: 3540705937 ISBN-13(EAN): 9783540705932
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008. This work addresses issues ranging from algorithmics to support for program construction in programming languages and systems.

Автор: Stefan Kowalewski; Anna Philippou
Название: Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 3642007678 ISBN-13(EAN): 9783642007675
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software.