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

Formal Methods for Industrial Critical Systems

12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Methods for Industrial Critical Systems Stefan Leue
Код Либристо: 01570290
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, май 2008
This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Wo... Цялото описание
? points 132 b
54.38 €
106.36  лв
Външен склад Изпращаме след 5-8 дни

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

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

Verliebt in Paris Nathalie Geffroy / Книга С твърди корици
common.buy 26.88 € 52.57 лв
Gesundheitspflege im Mittelalter Ludwig Kotelmann / Книга С меки корици
common.buy 55.21 € 107.98 лв
Kindergartenblock-Paket ab 4 Jahre - Das kann ich schon! Ulrike Maier / Игра/играчка Игра
common.buy 20.26 € 39.63 лв
Wikingowie. Magiczny domek na drzewie. Akademia Tropicieli Faktów Will Osborne / Книга С меки корици
common.buy 6.30 € 12.33 лв
TACTICA Y ETICA. ESCRITOS TEMPRANOS 1919-1929 LUKACS / Книга Книга
common.buy 38.30 € 74.92 лв
SUISSE ROMANDE : VOS ESCAPADES ECO-RESPONSABLES Guédron / Книга С твърди корици
common.buy 20.11 € 39.32 лв
Marcel Gromaire. La vie et l'oeuvre. Catalogue raisonné des peintures Françoise Chibret-Plaussu / Книга С твърди корици
common.buy 61.21 € 119.71 лв
6 séquences pour lire Cycle 2 Les neuf maisons de kouri Bernard Couté / Книга С меки корици
common.buy 30.96 € 60.56 лв
Mit den Spatzen unterwegs im Zoo Eva Lübbe / Книга С меки корици
common.buy 13.44 € 26.28 лв
El Poder del Deseo: Cómo Lograr tus Sue?os Miguel Marco / Книга С меки корици
common.buy 18.40 € 35.99 лв
Personenschaden-Management Christoph Hugemann / Книга С меки корици
common.buy 76.72 € 150.05 лв
Collage Dortmund - 1.000 Teile (Puzzle) / Игра/играчка Игра
common.buy 37.17 € 72.69 лв
Kaiser Hadrian Gemalde der roemischhellenischen Welt zu seiner Zeit Ferdinand Gregorovius / Книга С меки корици
common.buy 33.03 € 64.60 лв
Geschichte der Universitat Heidelberg Johann Friedrich Hautz / Книга С меки корици
common.buy 34.01 € 66.52 лв
HHhH (Prix Goncourt du premier roman 2010) Laurent Binet / Книга С твърди корици
common.buy 29.21 € 57.12 лв
Indyk L / Игра/играчка Играчка
common.buy 7.18 € 14.05 лв

This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification.§The 15 revised full papers presented together with the abstracts of 2 invited lectures were carefully selected during two rounds of reviewing and improvement from 31 initial submissions. The papers strive to promote research and development for the improvement of formal methods and tools for industrial applications and they are organized in topical sections on control systems, scheduling and time, verification, software, and testing.

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

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

Пълно заглавие Formal Methods for Industrial Critical Systems
Автор Stefan Leue, Pedro Merino
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2008
Брой страници 254
Баркод 9783540797067
ISBN 3540797068
Код Либристо 01570290
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 412
Размери 155 x 235 x 15

Категории

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
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 > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Central Processing of Visual Information A: Integrative Functions and Comparative Data R. Jung / Книга С меки корици
common.buy 162.64 € 318.10 лв
Europe in Modern Greek History Kevin Featherstone / Книга С меки корици
common.buy 43.89 € 85.84 лв
Orchid Stories Kenward Elmslie / Книга С меки корици
common.buy 16.33 € 31.94 лв
Explanation of the Meanings of The Noble Qur'an in the English Language [With Arabic Text] Rowad Translation Center / Книга С меки корици
common.buy 45.80 € 89.58 лв
The Women on Platform Two ANTHONY LAURA / Книга С твърди корици
common.buy 22.38 € 43.77 лв
Top
They Hate Each Other WOODY AMANDA / Книга С меки корици
common.buy 11.52 € 22.54 лв
Who Is Malala Yousafzai?: A Who Was? Board Book Who Hq / Книга Дипляна
common.buy 8.73 € 17.08 лв
Deep Foundations Workbook: Teachers Edition Rick Peterman / Книга С меки корици
common.buy 10.33 € 20.21 лв
20th Century French Art Song: High Voice CAROL KIMBALL / Книга С меки корици
common.buy 33.50 € 65.51 лв
Codependency Chris S. Jennings / Книга С твърди корици
common.buy 16.54 € 32.35 лв
How to Restore Your Slot Cars. I. Initiation. David Martin / Книга С меки корици
common.buy 19.28 € 37.71 лв
Malebranche Alain Badiou / Книга С твърди корици
common.buy 142.07 € 277.86 лв
Изгодно
Data Warehouse Automation: A Pragmatic Guide to the Easiest and Fastest Development of Your Data Warehouse Martin Gandalson / Книга С меки корици
common.buy 10.64 € 20.82 лв
Never a GAMBLE...Always a Sure BET: America's HBCU's Curtis Norman Symonds / Книга С меки корици
common.buy 15.71 € 30.73 лв
Randolph Bill Stenlake / Книга С меки корици
common.buy 13.49 € 26.38 лв
Sparks Joyce M. Cox / Книга С меки корици
common.buy 22.07 € 43.17 лв
Feminist Discourse and Spanish Cinema Susan Martin-Marquez / Книга С твърди корици
common.buy 257.77 € 504.16 лв
Fosse Lane, Shepton Mallet 1990 Peter Leach / Книга С меки корици
common.buy 105.20 € 205.76 лв
Effective Leadership for School Improvement Christopher Chapman / Книга С твърди корици
common.buy 276.44 € 540.66 лв
Fantasy City John Hannigan / Книга С твърди корици
common.buy 283.26 € 554.01 лв
Comic Version of Kid's Zombie Adventure Series Escape from Camp Miccano. Berry Wood / Книга С меки корици
common.buy 15.25 € 29.82 лв
Freud and the Culture of Psychoanalysis (RLE: Freud) Steven Marcus / Книга С меки корици
common.buy 67.93 € 132.86 лв
Itinerary of an Ordinary Torturer Christophe Peschoux / Книга С меки корици
common.buy 29.10 € 56.92 лв
Flat Squirrel Tony Henderson / Книга С меки корици
common.buy 9.77 € 19.10 лв

Вход

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

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

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

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

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