[email protected]
LIBRISTO 0
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв Speedy 13.00 лв ЕКОНТ 6.00 лв Еконтомат/Офис на Еконт 6.00 лв Box Now 6.00 лв
phone Контакт phoneКак се пазарува?

Integrated Formal Methods

Език Английски езикАнглийски език
Книга С меки корици
Книга Integrated Formal Methods Einar Broch Johnsen
Код Либристо: 01663776
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, май 2013
This book constitutes the refereed proceedings of the 10th International Conference on Integrated Fo... Цялото описание
? points 164 b
128.26 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

30 дни за връщане на стоката

Може би ще Ви заинтересува

ПОДГОТВЯМЕ
Crimson Spell. Bd.5 Ayano Yamane / С меки корици
common.buy 15.83 лв
Fall From India Place Samantha Young / С меки корици
common.buy 41.67 лв
Applications of Chlorophyll Fluorescene H.K. Lichtenthaler / С твърди корици
common.buy 339.79 лв
Totenbuch DES Mainzer Dominikanerklosters Isnard W. Frank / С твърди корици
common.buy 240.68 лв
Marriage Markets Naomi Cahn / С меки корици
common.buy 55.90 лв
Griechische Metallpanzer Arnold Hagemann / С меки корици
common.buy 92.84 лв
Space groups (156) P3m1-(148) R-3 / С твърди корици
common.buy 1 161.38 лв
Meine täglichen Übungen in Mathematik - 10. Schuljahr. H.3 Karlheinz Lehmann / Лист
common.buy 21.89 лв
Kunst Des 18. Jahrhunderts Edmond de Goncourt / С меки корици
common.buy 118.98 лв
Progressive Development Arie S. Issar / С меки корици
common.buy 252.90 лв

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. §The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.

Информация за книгата

Пълно заглавие Integrated Formal Methods
Автор Einar Broch Johnsen, Luigia Petre
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2013
Брой страници 443
Баркод 9783642386121
ISBN 3642386121
Код Либристо 01663776
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 700
Размери 155 x 235 x 26

Категории

Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo