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

Integrated Formal Methods

Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.

Език Английски езикАнглийски език
Книга С меки корици
Книга Integrated Formal Methods Michael Butler
Код Либристо: 01564333
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, май 2002
This book constitutes the refereed proceedings of the Third International Conference on Integrated F... Цялото описание
? points 132 b
54.47 €
106.54  лв
Външен склад Изпращаме след 5-8 дни

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

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

Walter Petters: Praktische Strafrechtsfalle Mit Loesungen. Teil 1 Walter Petters / Книга С твърди корици
common.buy 115.11 € 225.14 лв
Haftung Und Besteuerung Des Vermoegensberaters Werner Klumpe / Книга С меки корици
common.buy 55.98 € 109.48 лв
Rumanische Marchen Mite Kremnitz / Книга С меки корици
common.buy 24.59 € 48.10 лв
Özel Tüketim Vergisi Kanunu / Книга С меки корици
common.buy 15.94 € 31.19 лв
MATÉRIAUX - Mise en forme des métaux - Plasticité, rhéologie, tribologie Felder / Книга С меки корици
common.buy 51.73 € 101.17 лв
Divan Ahmed Akir Paa / Книга С меки корици
common.buy 19.36 € 37.87 лв
Das Forvm Romanvm: Seine Geschichte Und Seine Denkmaler (1905) Christian Huelsen / Книга С меки корици
common.buy 29.77 € 58.23 лв
Ciceron, Correspondance: (Mars 49 - Avril 46 Avant J.-C.) Jean Beaujeu / Книга С меки корици
common.buy 64.05 € 125.28 лв
Mein Gestern Manfred Jurgensen / Книга С меки корици
common.buy 16.10 € 31.49 лв
Apokalypse Adrienne von Speyr / Книга С твърди корици
common.buy 41.68 € 81.52 лв
Neocortext Vojtěch Němec / Книга С меки корици
common.buy 8.02 € 15.69 лв
Lettres A M. Le Duc de Blacas d'Aulps Relatives Au Musee Royal Egyptien de Turin, 2eme Lettre CHAMPOLLION-J / Книга С меки корици
common.buy 18.43 € 36.05 лв

This book constitutes the refereed proceedings of the Third International Conference on Integrated Formal Methods, IFM 2002, held in Turku, Finland, in May 2002.The 18 revised full papers presented together with three invited papers were carefully reviewed and selected from a total of 46 submissions. The papers are organized in topical sections on integration, simulation, and animation; from specification to verification; statcharts and B: integration and translation; model checkers and theorem provers; links between object-Z and CSP; combining graphical and formal approaches; and refinement and proof.

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

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

Пълно заглавие Integrated Formal Methods
Автор Michael Butler, Luigia Petre, Kaisa Sere
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2002
Брой страници 401
Баркод 9783540437031
ISBN 3540437037
Код Либристо 01564333
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1280
Размери 155 x 235 x 23

Категории

Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
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
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Biotechnology Fundamentals Khan / Книга С меки корици
common.buy 100.15 € 195.87 лв
Learning Pentaho Data Integration 8 CE - Third Edition Maria Carina Roldan / Книга С меки корици
common.buy 56.34 € 110.19 лв
Spawn: Origins Deluxe Edition 3 Brian Holguin / Книга С твърди корици
common.buy 75.29 € 147.26 лв
Sufism Alexander Knysh / Книга С меки корици
common.buy 30.86 € 60.36 лв
Frankissstein Jeanette Winterson / Книга С меки корици
common.buy 13.61 € 26.63 лв
Melchizedek: Unmasked Baal Kadmon / Книга С меки корици
common.buy 14.86 € 29.06 лв
Aesop's Fables Santore Charles / Книга С твърди корици
common.buy 14.91 € 29.16 лв
Barnes' Popular History Of The United States Of America V1 (1904) Joel Dorman Steele / Книга С меки корици
common.buy 33.60 € 65.72 лв
The Critical Care Pocket Guide Sergio Niosi / Книга С меки корици
common.buy 10.66 € 20.85 лв
Konohana Kitan, Volume 2 Sakuya Amano / E-книга Adobe ePub DRM
common.buy 8.18 € 15.99 лв
Destroyer of the gods Larry W. Hurtado / E-книга Adobe ePub DRM
common.buy 36.56 € 71.50 лв
The Last Song of Penelope NORTH CLAIRE / Книга С меки корици
common.buy 15.79 € 30.88 лв
Tales of Wedding Rings, Vol. 15 Andrew Cunningham / Книга С меки корици
common.buy 12.16 € 23.79 лв
Crazy Sexy Diet Kris Carr / Книга С меки корици
common.buy 24.28 € 47.49 лв
Essential David Bohm Lee Nichol / Книга С меки корици
common.buy 59.70 € 116.77 лв
Collected Short Stories Aldous Huxley / Книга С меки корици
common.buy 22.21 € 43.44 лв
Political Thought and the Public Sphere in Tanzania Emma Hunter / Книга С твърди корици
common.buy 127.59 € 249.55 лв
Pandora's Box Trilogy Adam Teachout / Книга С меки корици
common.buy 19.36 € 37.87 лв
Anti-Money Laundering: What You Need to Know (Jersey fiduciary edition): A concise guide to anti-money laundering and countering the financin Susan Grossey / Книга С меки корици
common.buy 8.33 € 16.30 лв
Dark Magic Christine Feehan / Книга С меки корици
common.buy 13.93 € 27.24 лв

Вход

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

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

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

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

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