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

NASA Formal Methods

4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга NASA Formal Methods Alwyn Goodloe
Код Либристо: 01660738
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, март 2012
This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal... Цялото описание
? points 132 b
54.46 €
106.52  лв
Външен склад Изпращаме след 5-8 дни

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

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

Cuentos de la filosofía griega : Platón, hablando de Sócrates Mercedes Aguirre / Книга С меки корици
common.buy 17.65 € 34.52 лв
Uso de las ciclovías como un recurso turístico Anabel Monserrate / Книга С меки корици
common.buy 61.30 € 119.89 лв
La traduzione e il linguaggio nelle guide turistiche Giorgia Bestagno / Книга С меки корици
common.buy 34.06 € 66.62 лв
mon chemin vers compostelle Joëlle Thibaud / Книга С меки корици
common.buy 10.61 € 20.75 лв
AElpler Peter Rosegger / Книга С меки корици
common.buy 42.09 € 82.32 лв
Checkliste Anästhesie Gernot Marx / Книга binding.
common.buy 78.74 € 154.01 лв
Nachhaltige Kapitalanlagen Boris Neumann / Книга С меки корици
common.buy 54.82 € 107.23 лв
WAS IST WAS Mission im Weltraum Sarah Konrad / Книга С твърди корици
common.buy 16.20 € 31.68 лв
Shakara Fela Kuti Аудио Аудио плоча
common.buy 33.91 € 66.32 лв

This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. §The 36 revised regular papers presented together with 10 short papers, 3 invited talks were carefully reviewed and selected from 93 submissions. The topics are organized in topical sections on theorem proving, symbolic execution, model-based engineering, real-time and stochastic systems, model checking, abstraction and abstraction refinement, compositional verification techniques, static and dynamic analysis techniques, fault protection, cyber security, specification formalisms, requirements analysis and applications of formal techniques.

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

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

Пълно заглавие NASA Formal Methods
Автор Alwyn Goodloe, Suzette Person
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2012
Брой страници 466
Баркод 9783642288906
ISBN 3642288901
Код Либристо 01660738
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 721
Размери 155 x 235 x 26

Категории

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

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

Quantum Potential: Physics, Geometry and Algebra Ignazio Licata / Книга С меки корици
common.buy 54.46 € 106.52 лв
Field Guide to Covering Local News Fred Bayles / Книга Със спирала
common.buy 46.02 € 90.01 лв
Beast Quest: Draka the Winged Serpent Adam Blade / Книга С меки корици
common.buy 9.57 € 18.72 лв
Towards Belonging Andrew Briggs / Книга С твърди корици
common.buy 188.56 € 368.79 лв
The Advanced Options Trading Guide: The Best Complete Guide for Earning Income With Options Trading, Learn Secret Investment Strategies for Investing Neil Sharp / Книга С меки корици
common.buy 13.92 € 27.23 лв
An Inquiry Into the Nature of Peace and the Terms of Its Perpetuation Thorstein Veblen / Книга С меки корици
common.buy 9.73 € 19.03 лв
Online Dating Profiles: What Are They Really Telling You? Kady Knutz / Книга С меки корици
common.buy 19.31 € 37.76 лв
Tattva-chintamani by Gangesa Upadhyaya; With Extracts From the Commentaries of Mathuranatha Tarkavagisa and of Jayadeva Misra. Edited by Kamakhyanath 13th Cent Gangesa / Книга С твърди корици
common.buy 41.10 € 80.39 лв
Blue Sabine Gerald Duff / Книга С меки корици
common.buy 18.01 € 35.23 лв
Nationalisms: The Nation-State and Nationalism in the Twentieth Century Montserrat Guibernau / Книга С меки корици
common.buy 26.24 € 51.33 лв
To Kill A Mockingbird Harper Lee / Аудио Аудио компактдиск
common.buy 22.88 € 44.75 лв
Optimization Methods in Electromagnetic Radiation Thomas S. Angell / Книга С твърди корици
common.buy 119.75 € 234.21 лв
God's Indemnity Dr Cheryl Williams / Книга С меки корици
common.buy 16.56 € 32.39 лв

Вход

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

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

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

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

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