Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Using Event-B for Critical Device Software Systems

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Using Event-B for Critical Device Software Systems Neeraj Kumar Singh
Libristo kód: 01426259
Nakladateľstvo Springer London Ltd, jún 2013
This book presents an innovative development approach for critical systems and prototype implementat...
? points 249 b
102.84 €
Skladom u dodávateľa Odosielame za 10-13 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

VADEMECUM ACCESO A LA ABOGACIA VOLUMEN V PARTE ESPECIFICA JOSE MARIA DE PABLO HERMIDA / Kniha Brožovaná
common.buy 30.20 €
BAJO LAS ALAS DE MI VUELO ALVAREZ GARCIA / Kniha Brožovaná
common.buy 19.29 €
L'Herpetologie Yannick Berthoud / Kniha Brožovaná
common.buy 34.04 €
Fisiopatología aplicada a la dietética ELENA NAVARRO SANCHEZ / Kniha Brožovaná
common.buy 38.28 €
Geostorky aneb Tak bude trochu tepleji... Petr Brož / Kniha Pevná
common.buy 12.11 €
ANTOLOGIA SONORA DEL ROMANCERO TRADICIONAL PANHISPANICO II FRAILE GIL / Kniha Kniha
common.buy 49.60 €
DE VIÑADEROS Y ORUJEROS ROSELLON CIMIANO / Kniha Brožovaná
common.buy 25.15 €
Jordan la loi du plus fort NE Rosamond Smith / Kniha Brožovaná
common.buy 25.25 €
Le carnet de Sarah - Lignes, 96p, A5 - Jacquard Bleu Gris Taupe / Kalendár/Diár Diár
common.buy 10.80 €
ICH BIN die Gegenwart Gottes in jedem Menschenherzen Stefan Sicurella / Kniha Pevná
common.buy 14.84 €
Carlos Castilla del Pino : Obras completas I y II. 1946-1966 Carlos Castilla del Pino / Kniha Pevná
common.buy 79.20 €
Referenzvorgehensmodell zum Redevelopment von Burobestandsimmobilien Thomas Harlfinger / Kniha Brožovaná
common.buy 44.44 €
Untersuchungen zu den lexikalischen Besonderheiten des Franzoesischen in Belgien Kristin Hammer / Kniha Brožovaná
common.buy 42.73 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Using Event-B for Critical Device Software Systems
Autor Neeraj Kumar Singh
Jazyk Angličtina
Väzba Kniha - Pevná
Dátum vydania 2013
Počet strán 326
EAN 9781447152590
ISBN 144715259X
Libristo kód 01426259
Nakladateľstvo Springer London Ltd
Váha 6387
Rozmery 155 x 235 x 24

Kategórie

Matematika a veda > Matematika > Matematické základy > Matematická logika
Medicína a ošetrovateľstvo > Ošetrovateľstvo a pomocné zdravotné služby > Biomedicínske inžinierstvo
Výpočtové a informačné technológie > Informačné technológie: všeobecné témy > Zdravotné a bezpečnostné aspekty IT
Výpočtové a informačné technológie > Grafické a digitálne mediálne aplikácie > Počítačová 3D grafika a modelovanie
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Počítačové modelovanie a simulácie
Medicína a ošetrovateľstvo > Medicína: všeobecné témy
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

BLUEY ECO-PUZZLE DF 60 / Hra/Hračka Hra
common.buy 7.97 €
Shower of Stars John J. Pullen / E-kniha Adobe ePub DRM
common.buy 44.44 €
Swindon - The Complete Works PETER TIMMS / Kniha Pevná
common.buy 26.46 €
Literacy Education and Indigenous Australians Jennifer Rennie / Kniha Brožovaná
common.buy 102.84 €
Oriented Consciousness Mastering in the Practice of Surfing: A book about the Learning of Surfing Bruno Ferreira Alves Castello Da Costa / Kniha Brožovaná
common.buy 15.55 €
Pinky Visits the Circus: Pinky Frink's Adventures Granny J / Kniha Brožovaná
common.buy 9.79 €
Mana Khemia 2: The Official Strategy Guide Doublejump Books / Kniha Brožovaná
common.buy 38.89 €
Nanotechnology for Sustainable Water Resources Ajay Kumar Mishra / Kniha Pevná
common.buy 219.63 €
Data Science and Artificial Intelligence for Digital Healthcare Pradeep Kumar Singh / Kniha Pevná
common.buy 205.49 €
Forest Tree Plantation Thomas Jonathan Burrill / Kniha Pevná
common.buy 25.55 €
Transatlantic Divide Alberto Martinelli / Kniha Pevná
common.buy 25.96 €
Light Microscopy Helio Chiarini-Garcia / Kniha Pevná
common.buy 140.83 €
Adaptive Speciation Ulf DieckmannMichael DoebeliJohan A. J. MetzDiethard Tautz / Kniha Brožovaná
common.buy 71.32 €
South Asia in a Globalising World Bob Bradnock / Kniha Brožovaná
common.buy 80.71 €
Selected Stories Alice Munro / Kniha Brožovaná
common.buy 14.84 €
Erin and Iran Grace Neville / Kniha Brožovaná
common.buy 25.75 €
Sherlock Holmes and the Adventure of the Cold-Served Revenge Petr Macek / Kniha Brožovaná
common.buy 16.56 €
Koufonisi, Crete Emory Christer / Kniha Brožovaná
common.buy 103.04 €
How America Was Born Diana McCumiskey / Kniha Brožovaná
common.buy 13.63 €
Scenes for Teens, by Teens Diane Christiansen / Kniha Brožovaná
common.buy 8.58 €
Advances in Longitudinal Methods in the Social and Behavioral Sciences Gregory R. Hancock / Kniha Pevná
common.buy 120.72 €
Like Cats & Dogs Shane / Kniha Brožovaná
common.buy 7.87 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?