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

Using Event-B for Critical Device Software Systems

Език Английски езикАнглийски език
Книга С меки корици
Книга Using Event-B for Critical Device Software Systems Neeraj Kumar Singh
Код Либристо: 09479723
Издателство Springer London Ltd, август 2013
This book presents an innovative development approach for critical systems and prototype implementat...
? points 263 b
108.67 €
212.54  лв
Външен склад Изпращаме след 8-11 дни

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

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

Trace 7 Kei Koga / Книга Книга
common.buy 8.69 € 17.00 лв
Fiat Bravo e Brava. 1995-2002 Alessandro Sannia / Книга С меки корици
common.buy 23.81 € 46.57 лв
L’enseignement supérieur, une fabrique d’entrepreneurs ? CHAMPY / Книга С меки корици
common.buy 40.90 € 79.99 лв
Rok kobylek Terry Hayes / Книга С твърди корици
common.buy 24.28 € 47.48 лв
Conni & Co 11: Conni, das Kleeblatt und die Pferde am Meer Dagmar Hofeld / E-книга Adobe ePub DRM
common.buy 9.21 € 18.01 лв
UN VOLCAN EXPLOTO EL DIA QUE TE CONOCI GIL CATALA / Книга С меки корици
common.buy 22.57 € 44.14 лв
Kritische Darstellung der Funktion der Arbeitnehmervertreter im Aufsichtsrat einer AG und einer GmbH - Recht und Realitat Frank Merkel / Книга С меки корици
common.buy 18.12 € 35.43 лв
Loose Cannons Spitzer / Аудио Аудио компактдиск
common.buy 16.87 € 33.00 лв
Ornithologische Briefe - Bler der Erinnerung an seine Freunde Homeyer Eugen Ferdinand von Homeyer / Книга С меки корици
common.buy 25.62 € 50.12 лв
Calling The Devil Sticky Boys / Аудио Аудио компактдиск
common.buy 12.27 € 23.99 лв
Notions de Sciences, Avec Leurs Applications A l'Agriculture, A l'Usage Des Ecoles Primaires Barillot-V / Книга С меки корици
common.buy 32.25 € 63.08 лв
Querida comida, querida salud : una guía científica y sencilla para vivir más y mejor F. D. Saura Calixto / Книга С меки корици
common.buy 22.00 € 43.03 лв
Critica de la crítica Filiberto Menna / Книга С меки корици
common.buy 15.27 € 29.86 лв
Etudes de Philosophie Naturelle. 6e Serie. 1, Premier Chapitre de Physiologie Vitaliste Joseph-Emile Filachou / Книга С меки корици
common.buy 15.53 € 30.37 лв
Top
Flow Mihaly Csikszentmihalyi / Книга С меки корици
common.buy 17.18 € 33.61 лв
Synthese de Nickelates de Lanthane. Application Sofc CIENFUEGOS PELAES RE / Книга С меки корици
common.buy 90.45 € 176.90 лв
Struktur und Funktionsmechanismus der mitochondrialen m-AAA-Protease Steffen Augustin / Книга С меки корици
common.buy 66.01 € 129.10 лв
Betriebswirtschaftslehre: Systeme, Entscheidungen, Methoden Werner Kirsch / Книга С меки корици
common.buy 55.96 € 109.46 лв

This book presents an innovative development approach for critical systems and prototype implementation. It provides a novel approach for medical protocol verification, which can help to verify the diagnosis process.

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

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

Пълно заглавие Using Event-B for Critical Device Software Systems
Автор Neeraj Kumar Singh
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2013
Брой страници 326
Баркод 9781447157908
ISBN 1447157907
Код Либристо 09479723
Издателство Springer London Ltd
Тегло 5212
Размери 155 x 18 x 19

Категории

Medicine & Nursing > Nursing & ancillary services > Biomedical engineering
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Ieithiadur Neu Ramadeg Cymraeg. 2. Argraph. [of Gramadeg Cymraeg]. Robert Davies / Книга С меки корици
common.buy 17.13 € 33.51 лв
China and the Future of Globalization Grzegorz W. Kolodko / Книга С меки корици
common.buy 43.33 € 84.75 лв
Advanced Principles of Molecular Virology Orlando Johnston / Книга С твърди корици
common.buy 142.32 € 278.36 лв
Acts of the General Assembly of the State of Florida: Passed at It's Fourth Session, 1848; 1848 Florida / Книга С меки корици
common.buy 18.43 € 36.04 лв
Angels to the Rescue: Inspirational Real-Life Stories from an Er Doctor Robert D. Lesslie / Книга С меки корици
common.buy 17.65 € 34.52 лв
Leaves John Simmons / E-книга Adobe ePub DRM
common.buy 14.49 € 28.34 лв
Lost Dog Bill Cameron / Книга С меки корици
common.buy 13.56 € 26.52 лв
Getting Started with Hazelcast - Mat Johns / Книга С меки корици
common.buy 40.22 € 78.67 лв
Mandy's Doodles Coloring Book Mandy Rita Tardif / Книга С меки корици
common.buy 10.87 € 21.26 лв
From Cold War to Cyber War Hans-Joachim Heintze / Книга С твърди корици
common.buy 108.67 € 212.54 лв
Science Teacher Educators as K-12 Teachers Laurie Brantley-Dias / Книга С меки корици
common.buy 108.67 € 212.54 лв
Debt Inheritance Pepper Winters / Книга С меки корици
common.buy 10.35 € 20.24 лв
Delta II and III Space Operations at Cape Canaveral 1989-2009 45th Space Wing History Office / Книга С меки корици
common.buy 21.12 € 41.31 лв
Comets and the Origin of Life Cyril Ponnamperuma / Книга С меки корици
common.buy 162.88 € 318.56 лв

Вход

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

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

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

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

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