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

Formal Methods: Foundations and Applications

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Methods: Foundations and Applications Rohit Gheyi
Код Либристо: 01662107
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, август 2012
This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SB... Цялото описание
? points 214 b
166.32 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

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

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

TOP
Petrolejové lampy Jaroslav Havlíček / С меки корици
common.buy 11.17 лв
Česko-anglický slovník spojení: podstatné jméno a sloveso Norah Hronková / С меки корици
common.buy 31.81 лв
Dark Ages and the Age of Gold Russell A. Fraser / С твърди корици
common.buy 430.01 лв
People's Platform Astra Taylor / С меки корици
common.buy 33.42 лв
Planning After Petroleum / С твърди корици
common.buy 492.34 лв
Die ordentliche Änderungskündigung des Arbeitgebers. Franz X. Wallner / С меки корици
common.buy 196.73 лв
Event of Death: a Phenomenological Enquiry I. Leman-Stefanovic / С меки корици
common.buy 388.03 лв
Datenvisualisierung boolescher Anfragen Dianqiang Yang / С меки корици
common.buy 102.89 лв
Journeying Wave Richmal Crompton / С твърди корици
common.buy 74.80 лв
Logic for Concurrency and Synchronisation R.J. De Queiroz / С меки корици
common.buy 252.31 лв
Interfacing PIC Microcontrollers Martin Bates / С меки корици
common.buy 140.04 лв
Handbuch Der Ziehtechnik Walter Sellin / С меки корици
common.buy 139.24 лв
Intercultural Issues in Online Communication Verena Wiedmaier / С меки корици
common.buy 297.51 лв
Piano Exam Pieces 2015 & 2016, Grade 5 / С твърди корици
common.buy 39.66 лв
Ballad And The Source Rosamond Lehmann / С меки корици
common.buy 34.42 лв
Grenzüberschreitende Titelgeltung in der Europäischen Union. Max Christoph Peiffer / С меки корици
common.buy 218.38 лв

This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

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

Пълно заглавие Formal Methods: Foundations and Applications
Автор Rohit Gheyi, David Naumann
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2012
Брой страници 227
Баркод 9783642332951
ISBN 3642332951
Код Либристо 01662107
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 373
Размери 155 x 235 x 14

Категории

Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Computing & Information Technology > Computer hardware > Maintenance & repairs
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 Книгата ще пристигне на адреса на получателя

Вход

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

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

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

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

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