Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

FM 2006: Formal Methods

14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга FM 2006: Formal Methods Jayadev Misra
Код Либристо: 01562449
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, август 2006
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, F... Цялото описание
? points 289 b
119.18 €
233.10  лв
Външен склад в ограничено количество Изпращаме след 13-18 дни

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

Клиентите са закупили също

Madoka Mágica Different, 1 HANOKAGE / Книга С твърди корици
common.buy 9.32 € 18.23 лв
Coloriages mystères Fleurs / Книга С меки корици
common.buy 21.84 € 42.72 лв
Top
Three Cheers for Kid McGear! Sherri Duskey Rinker / Книга С твърди корици
common.buy 12.72 € 24.88 лв
Grundzüge der Volkswirtschaftslehre Mark P. Taylor / Книга С меки корици
common.buy 49.67 € 97.14 лв

This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006. The book presents 36 revised full papers together with 2 invited contributions and extended abstracts of 7 invited industrial presentations, organized in topical sections on interactive verification, formal modelling of systems, real time, industrial experience, specification and refinement, programming languages, algebra, formal modelling of systems, and more.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

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

Пълно заглавие FM 2006: Formal Methods
Автор Jayadev Misra, Tobias Nipkow, Emil Sekerinski
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2006
Брой страници 620
Баркод 9783540372158
ISBN 3540372156
Код Либристо 01562449
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 958
Размери 155 x 235 x 33

Категории

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 > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Filmmaker Says Jamie Thompson Stern / Книга С твърди корици
common.buy 30.04 € 58.75 лв
Top
DARLING in the FRANXX Vol. 5-6 Kentaro Yabuki / Книга С меки корици
common.buy 15.71 € 30.73 лв
Top
Moonology Manifestation Oracle Yasmin Boland / Печатни материали Карти
common.buy 19.01 € 37.18 лв
Vegan Keto Diet for Beginners: The Simplest Plant Based Diet for a Healthy Mind and Body. With Diet Plan, Meal Plan, Meal Prep and Whole Foods Cookbo Mary Knox / Книга С меки корици
common.buy 15.04 € 29.42 лв
PARCC Math Workbook Reza Nazari / Книга С меки корици
common.buy 17.41 € 34.05 лв
My Best Recipes Victoria Joly / Книга С меки корици
common.buy 18.75 € 36.67 лв
We Are Absolutely Not Okay: Fourteen Stories by Teenagers Who Are Picking Up the Pieces Marjie Bowker / Книга С меки корици
common.buy 8.39 € 16.42 лв
Arms and Armour of the Medieval Joust Tobias Capwell / Книга С меки корици
common.buy 11.43 € 22.36 лв
Shakespeare's King John. with Notes, Examination Papers, and Plan of Preparation. (Selected.) Brainerd Kellogg / Книга С твърди корици
common.buy 31.48 € 61.57 лв
Think "Moderates!" Milton King / Книга С меки корици
common.buy 17.10 € 33.45 лв
Different Blue Amy Harmon / Книга С меки корици
common.buy 10.71 € 20.95 лв
Rooftops of Tehran Mahbod Seraji / Книга С меки корици
common.buy 14.06 € 27.50 лв
Top
Convoluted Universe: Book One Dolores Cannon / Книга С меки корици
common.buy 15.71 € 30.73 лв
Spiritual Dimension John Cottingham / Книга С меки корици
common.buy 35.09 € 68.62 лв
Hidden Gems Volume II: Contemporary Black British Plays Deirdre Osborne / Книга С меки корици
common.buy 24.63 € 48.16 лв

Вход

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

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

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

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

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?