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

FME 2003: Formal Methods

International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга FME 2003: Formal Methods Keijiro Araki
Код Либристо: 01562991
Издателство Springer, Berlin, ноември 2002
This book constitutes the refereed proceedings of the International Symposium of Formal Methods Euro... Цялото описание
? points 289 b
119.75 €
234.21  лв
Външен склад в ограничено количество Изпращаме след 13-18 дни

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

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

Sanssouci Andreas Maier / Книга С меки корици
common.buy 11.49 € 22.47 лв
The Armoured Dark Megan E. O'Keefe / Книга С меки корици
common.buy 11.54 € 22.57 лв
El Bravo V1: Novela (1854) Fenimore Cooper / Книга С меки корици
common.buy 25.68 € 50.22 лв
Top
Der kleine Prinz - Le Petit Prince Antoine de Saint-Exupéry / Книга С твърди корици
common.buy 28.68 € 56.09 лв
Schriften zur Kritik und Literaturgeschichte Michael Bernays / Книга С меки корици
common.buy 28.37 € 55.48 лв
Kleeblatt. Das Sprachbuch - Ausgabe 2014 Bayern Esther Bork / Книга С меки корици
common.buy 29.40 € 57.51 лв
Zazi a dva vrazi Zuzana Kuzmová / Книга С меки корици
common.buy 5.90 € 11.53 лв
Die Zerstörung der Welt als Wille und Vorstellung Robert Menasse / Книга С меки корици
common.buy 15.32 € 29.96 лв
Die Brüder Karamasow Fjodor M. Dostojewskij / Книга С меки корици
common.buy 19.05 € 37.25 лв
E-Booklight - LED Leselampe - Schwarz - für Bücher und E-Reader / Игра/играчка Играчка
common.buy 13.46 € 26.32 лв

This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2003, held in Pisa, Italy in September 2003.§The 44 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 144 submissions. The papers are organized in topical sections on industrial issues, control systems and applications, communication system verfication, co-specification and compilers, composition, Java, object-orientation and modularity, model checking, parallel processes, program checking and testing, B method, and security.

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

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

Пълно заглавие FME 2003: Formal Methods
Автор Keijiro Araki, Stefania Gnesi, Dion Mandrioli
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2003
Брой страници 946
Баркод 9783540408284
ISBN 3540408282
Код Либристо 01562991
Издателство Springer, Berlin
Тегло 1200
Размери 155 x 235 x 48

Категории

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 Книгата ще пристигне на адреса на получателя

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

Use of Microcomputers in Geology Hans Kürzl / Книга С твърди корици
common.buy 162.88 € 318.56 лв
Magi: The Labyrinth of Magic, Vol. 2 Shinobu Ohtaka / Книга С меки корици
common.buy 10.40 € 20.34 лв
Cell Motility Peter Lenz / Книга С твърди корици
common.buy 162.88 € 318.56 лв
Handbook of Reagents for Organic Synthesis Set I 4V ST Robert M. Coates / Книга С твърди корици
common.buy 1 299.65 € 2 541.89 лв
Educational Assessment in the 21st Century Claire Wyatt-Smith / Книга С твърди корици
common.buy 183.80 € 359.47 лв
Topics in Experimental Dynamics Substructuring and Wind Turbine Dynamics, Volume 2 R. Mayes / Книга С твърди корици
common.buy 217.04 € 424.48 лв
The Joy of Playing with Your Dog: Games, Tricks, & Socialization for Puppies & Dogs Marc Goldberg / Книга С твърди корици
common.buy 21.64 € 42.32 лв
Buddha a Drama in Five Acts and Four Interludes Paul Carus / Книга С меки корици
common.buy 9.57 € 18.72 лв
My Own Thoughts Wendy Deaton / Книга С меки корици
common.buy 9.88 € 19.33 лв
Account of the Life and Writings of St. Irenaeus Bishop of Lyons and Martyr James Beaven / Книга С меки корици
common.buy 34.48 € 67.43 лв
On Antisemitism Jewish Voice for Peace / Книга С меки корици
common.buy 15.79 € 30.87 лв

Вход

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

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

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

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

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