Автор: Bowker, Lynne Название: Working with Specialized Language ISBN: 0415236983 ISBN-13(EAN): 9780415236980 Издательство: Taylor&Francis Рейтинг: Цена: 148010.00 T Наличие на складе: Нет в наличии.
Автор: Tiziana Margaria; Bernhard Steffen Название: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications ISBN: 3662452308 ISBN-13(EAN): 9783662452301 Издательство: Springer Рейтинг: Цена: 74530.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
