[email protected]
LIBRISTO 0
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв Speedy 13.00 лв ЕКОНТ 6.00 лв Еконтомат/Офис на Еконт 6.00 лв Box Now 6.00 лв
phone Контакт phoneКак се пазарува?

Formal Methods: Applications and Technology

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Methods: Applications and Technology Lubos Brim
Код Либристо: 01568175
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, февруари 2007
This book constitutes the thoroughly refereed joint post-proceedings of the two International Worksh... Цялото описание
? points 164 b
128.23 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

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

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

РАЗПРОДАЖБА
Beast Quest (Band 21) - Tarax, Klauen der Finsternis Adam Blade / С твърди корици
common.buy 15.53 лв
Eye of the Wolf Daniel Pennac / С меки корици
common.buy 16.34 лв
Aerodynamics of Low Reynolds Number Flyers Wei ShyyYongsheng LianJian TangDragos Viieru / С меки корици
common.buy 133.48 лв
Terra magica Ostsee-Kreuzfahrt Christian Prager / С твърди корици
common.buy 41.16 лв
Business, Politics and International Relations Clemens WurmPatrick Salmon / С меки корици
common.buy 106.84 лв
Ontologie und Dialektik Theodor W. Adorno / С меки корици
common.buy 41.66 лв
Blut und Feuer Michael Gratzke / С меки корици
common.buy 63.66 лв
Vergleich der grossen Weltreligionen im Hinblick auf das Projekt "Weltethos von Hans Kung Jenny Enssle / С меки корици
common.buy 82.12 лв
Life Skills Matters Grade 1 Student's Book Erato-Nadia BizosPenny HansenMirna Lawrence / С меки корици
common.buy 11.80 лв
ПОДГОТВЯМЕ НОВИ
Unbekanntes München Karl Häusler / С твърди корици
common.buy 32.58 лв
Flussschiffbau Wilhelm Teubert / С меки корици
common.buy 302.98 лв
"Kominform-Konflikt 1948 - Jugoslawiens Revolte gegen Moskaus Hegemonie Damir Hajric / С меки корици
common.buy 92.01 лв
Marked Point Processes on the Real Line Andreas Brandt / С твърди корици
common.buy 570.16 лв
Energy Levels of Nuclei: A = 5 to A = 257 / Energie-Niveaus der Kerne: A = 5 bis A = 257 F. Ajzenberg-Selove / С твърди корици
common.buy 2 815.72 лв
Less Than Zero Stuart J. Murphy / С меки корици
common.buy 12.10 лв
Analyse Morphologique Des Tissus Auto-Construits Spontanes Abdelmalek Arrouf / С меки корици
common.buy 161.53 лв

This book constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006.

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

Пълно заглавие Formal Methods: Applications and Technology
Автор Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2007
Брой страници 366
Баркод 9783540709510
ISBN 3540709517
Код Либристо 01568175
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 575
Размери 155 x 235 x 22

Категории

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

Вход

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

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

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

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

Създаване на акаунт за Libristo