Автор: 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.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
