Проверка на състоянието на поръчката
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
Код Либристо: 01426259
Издателство Springer London Ltd, юни 2013
This book presents an innovative development approach for critical systems and prototype implementat...
? points 263 b
108.36 €
211.93  лв
Външен склад Изпращаме след 10-13 дни

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

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

ANTOLOGIA SONORA DEL ROMANCERO TRADICIONAL PANHISPANICO II FRAILE GIL / Книга Книга
common.buy 51.41 € 100.56 лв
Geostorky aneb Tak bude trochu tepleji... Petr Brož / Книга С твърди корици
common.buy 15.07 € 29.47 лв
Untersuchungen zu den lexikalischen Besonderheiten des Franzoesischen in Belgien Kristin Hammer / Книга С меки корици
common.buy 45.22 € 88.44 лв
VADEMECUM ACCESO A LA ABOGACIA VOLUMEN V PARTE ESPECIFICA JOSE MARIA DE PABLO HERMIDA / Книга С меки корици
common.buy 31.43 € 61.48 лв
BAJO LAS ALAS DE MI VUELO ALVAREZ GARCIA / Книга С меки корици
common.buy 20.08 € 39.27 лв
L'Herpetologie Yannick Berthoud / Книга С меки корици
common.buy 35.87 € 70.16 лв
Carlos Castilla del Pino : Obras completas I y II. 1946-1966 Carlos Castilla del Pino / Книга С твърди корици
common.buy 82.65 € 161.64 лв
DE VIÑADEROS Y ORUJEROS ROSELLON CIMIANO / Книга С меки корици
common.buy 26.12 € 51.08 лв
Jordan la loi du plus fort NE Rosamond Smith / Книга С меки корици
common.buy 26.27 € 51.38 лв
Le carnet de Sarah - Lignes, 96p, A5 - Jacquard Bleu Gris Taupe / Календар/тефтер Тефтер
common.buy 11.30 € 22.10 лв
Referenzvorgehensmodell zum Redevelopment von Burobestandsimmobilien Thomas Harlfinger / Книга С меки корици
common.buy 47.03 € 91.97 лв
ICH BIN die Gegenwart Gottes in jedem Menschenherzen Stefan Sicurella / Книга С твърди корици
common.buy 15.64 € 30.58 лв

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
Баркод 9781447152590
ISBN 144715259X
Код Либристо 01426259
Издателство Springer London Ltd
Тегло 6387
Размери 155 x 235 x 24

Категории

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Medicine & Nursing > Nursing & ancillary services > Biomedical engineering
Computing & Information Technology > Information technology: general issues > Health & safety aspects of IT
Computing & Information Technology > Graphical & digital media applications > 3D graphics & modelling
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer modelling & simulation
Medicine & Nursing > Medicine: general issues
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Adaptive Speciation Ulf DieckmannMichael DoebeliJohan A. J. MetzDiethard Tautz / Книга С меки корици
common.buy 74.70 € 146.09 лв
Like Cats & Dogs Shane / Книга С меки корици
common.buy 8.41 € 16.45 лв
BLUEY ECO-PUZZLE DF 60 / Игра/играчка Игра
common.buy 8.41 € 16.45 лв
Shower of Stars John J. Pullen / E-книга Adobe ePub DRM
common.buy 46.61 € 91.17 лв
Swindon - The Complete Works PETER TIMMS / Книга С твърди корици
common.buy 28.18 € 55.12 лв
Oriented Consciousness Mastering in the Practice of Surfing: A book about the Learning of Surfing Bruno Ferreira Alves Castello Da Costa / Книга С меки корици
common.buy 16.36 € 32.00 лв
Pinky Visits the Circus: Pinky Frink's Adventures Granny J / Книга С меки корици
common.buy 10.32 € 20.18 лв
Mana Khemia 2: The Official Strategy Guide Doublejump Books / Книга С меки корици
common.buy 40.99 € 80.16 лв
Forest Tree Plantation Thomas Jonathan Burrill / Книга С твърди корици
common.buy 26.84 € 52.49 лв
Scenes for Teens, by Teens Diane Christiansen / Книга С меки корици
common.buy 9.13 € 17.86 лв
South Asia in a Globalising World Bob Bradnock / Книга С меки корици
common.buy 84.40 € 165.08 лв
How America Was Born Diana McCumiskey / Книга С меки корици
common.buy 14.29 € 27.96 лв
Koufonisi, Crete Emory Christer / Книга С меки корици
common.buy 109.03 € 213.24 лв
Sherlock Holmes and the Adventure of the Cold-Served Revenge Petr Macek / Книга С меки корици
common.buy 17.39 € 34.02 лв

Вход

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

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

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

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

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