Проверка на състоянието на поръчката
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 2015: Formal Methods

20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга FM 2015: Formal Methods Nikolaj Bj?rner
Код Либристо: 09277583
Издателство Springer International Publishing AG, май 2015
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods... Цялото описание
? points 132 b
54.30 €
106.21  лв
Външен склад Изпращаме след 5-8 дни

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

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

Happy House 3rd Edition 1 Class Audio CDs Stella Maidment / Аудио Аудио компактдиск
common.buy 31.74 € 62.09 лв
Schnelle thermische Prozessierung von Cu(In, Ga)Se2-Schichten Christian Merk / Книга С меки корици
common.buy 52.45 € 102.58 лв
JACK LONDON KOZA / Книга С твърди корици
common.buy 24.83 € 48.56 лв
Die Ritter Vom Geiste, Volumes 1-2 Karl Gutzkow / Книга С меки корици
common.buy 31.54 € 61.68 лв
Programmierkurs TURBO-PASCAL Version 7.0 Henning Mittelbach / Книга С меки корици
common.buy 54.72 € 107.02 лв
Italie - 50 itinéraires de rêve collegium / Книга С меки корици
common.buy 35.93 € 70.27 лв
1972 Dr Gustav Keller / Книга С меки корици
common.buy 8.20 € 16.04 лв
Elf Freunde müßt ihr sein . . . Sammy Drechsel / Книга С твърди корици
common.buy 14.35 € 28.06 лв
Die drei ??? und der schreiende Zug Andreas Ruch / Книга С твърди корици
common.buy 14.45 € 28.26 лв
Aquí yace la amargura Cynthia Fleury / E-книга Adobe ePub DRM
common.buy 6.86 € 13.42 лв
Čti a hraj si s námi Ledové království / Книга Дипляна
common.buy 19.15 € 37.45 лв

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.

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

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

Пълно заглавие FM 2015: Formal Methods
Автор Nikolaj Bj?rner, Frank de Boer
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2015
Брой страници 610
Баркод 9783319192482
ISBN 3319192485
Код Либристо 09277583
Издателство Springer International Publishing AG
Тегло 9358
Размери 155 x 235 x 235

Категории

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Computing & Information Technology > Computer hardware > Maintenance & repairs
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
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

KombiFiD - Combined Firm Data for Germany. Joachim Wagner / Книга С меки корици
common.buy 61.53 € 120.35 лв
Seven Deadly Sins of White Christian Nationalism Carter Heyward / Книга С меки корици
common.buy 29.83 € 58.35 лв
Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts Oliver Schlaudt / Книга С твърди корици
common.buy 151.62 € 296.54 лв
Mind Diet for Beginners: 85 Recipes and a 7-Day Kickstart Plan to Boost Your Brain Health Kelli McGrane / Книга С меки корици
common.buy 14.24 € 27.86 лв
Once Upon A Rhyme Julie Murrow / Книга С меки корици
common.buy 5.83 € 11.40 лв
Federal Civil Penalties Inflation Adjustment Act Catch-Up Adjustments (US Occupational Safety and Health Administration Regulation) (OSHA) (2018 Editi The Law Library / Книга С меки корици
common.buy 19.20 € 37.55 лв
Philosophy of Law Kant Immanuel Kant / Книга С меки корици
common.buy 24.52 € 47.95 лв
Falstaff: Give Me Lifevolume 1 Harold Bloom / Книга С меки корици
common.buy 12.85 € 25.13 лв
Thomas Merton and the Inclusive Imagination Ross Labrie / Книга С твърди корици
common.buy 53.32 € 104.29 лв
The 22-Day Revolution Marco Borges / Книга С твърди корици
common.buy 26.53 € 51.89 лв
To See My World In Rhythm And Rhyme Thomas Wayne Allen / Книга С меки корици
common.buy 18.27 € 35.73 лв
Technology in Retrospect Michael J. Berson / Книга С меки корици
common.buy 61.89 € 121.05 лв
Fallows Aaron Ross / Книга С твърди корици
common.buy 28.23 € 55.22 лв
Top
Pip and Posy: The Bedtime Frog Axel Scheffler / Книга С твърди корици
common.buy 11.51 € 22.51 лв
Total Heart Health Robert Schneider / Книга С меки корици
common.buy 14.97 € 29.27 лв
Manners of Interpretation Miguel Tamen / Книга С меки корици
common.buy 41.04 € 80.26 лв
Hegel Reader Stephen Houlgate / Книга С твърди корици
common.buy 169.12 € 330.77 лв
Writer's Roadmap Wendell Wellman / Книга С меки корици
common.buy 14.35 € 28.06 лв
Happily Ever After Annette Morris / Книга С меки корици
common.buy 12.02 € 23.52 лв
Silent Scream Sandra A Jones / Книга С меки корици
common.buy 21.26 € 41.59 лв
Little Joseph H Easley / Книга С твърди корици
common.buy 24.26 € 47.45 лв

Вход

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

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

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

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

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