Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Springer London Ltd, červen 2013
This book presents an innovative development approach for critical systems and prototype implementat...
? points 236 b
2 357 Kč
Skladem u dodavatele Odesíláme za 10-13 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Geostorky aneb Tak bude trochu tepleji... Petr Brož / Kniha Pevná
common.buy 339 Kč
VADEMECUM ACCESO A LA ABOGACIA VOLUMEN V PARTE ESPECIFICA JOSE MARIA DE PABLO HERMIDA / Kniha Brožovaná
common.buy 732 Kč
BAJO LAS ALAS DE MI VUELO ALVAREZ GARCIA / Kniha Brožovaná
common.buy 467 Kč
L'Herpetologie Yannick Berthoud / Kniha Brožovaná
common.buy 826 Kč
ANTOLOGIA SONORA DEL ROMANCERO TRADICIONAL PANHISPANICO II FRAILE GIL / Kniha Kniha
common.buy 1 201 Kč
DE VIÑADEROS Y ORUJEROS ROSELLON CIMIANO / Kniha Brožovaná
common.buy 610 Kč
Jordan la loi du plus fort NE Rosamond Smith / Kniha Brožovaná
common.buy 611 Kč
Le carnet de Sarah - Lignes, 96p, A5 - Jacquard Bleu Gris Taupe / Kalendář/Diář Diář
common.buy 262 Kč
ICH BIN die Gegenwart Gottes in jedem Menschenherzen Stefan Sicurella / Kniha Pevná
common.buy 359 Kč
Carlos Castilla del Pino : Obras completas I y II. 1946-1966 Carlos Castilla del Pino / Kniha Pevná
common.buy 1 919 Kč
Referenzvorgehensmodell zum Redevelopment von Burobestandsimmobilien Thomas Harlfinger / Kniha Brožovaná
common.buy 1 014 Kč
Untersuchungen zu den lexikalischen Besonderheiten des Franzoesischen in Belgien Kristin Hammer / Kniha Brožovaná
common.buy 975 Kč

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Using Event-B for Critical Device Software Systems
Autor Neeraj Kumar Singh
Jazyk Angličtina
Vazba Kniha - Pevná
Datum vydání 2013
Počet stran 326
EAN 9781447152590
ISBN 144715259X
Libristo kód 01426259
Nakladatelství Springer London Ltd
Váha 6387
Rozměry 155 x 235 x 24

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
Medicína a ošetřovatelství > Ošetřovatelství a pomocné zdravotní služby > Biomedicínské inženýrství
Výpočetní a informační technologie > Informační technologie: obecná témata > Zdravotní a bezpečnostní aspekty IT
Výpočetní a informační technologie > Grafické a digitální mediální aplikace > Počítačová 3D grafika a modelování
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Počítačové modelování a simulace
Medicína a ošetřovatelství > Medicína: obecná témata
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

BLUEY ECO-PUZZLE DF 60 / Hra/Hračka Hra
common.buy 193 Kč
Shower of Stars John J. Pullen / E-kniha Adobe ePub DRM
common.buy 1 076 Kč
Swindon - The Complete Works PETER TIMMS / Kniha Pevná
common.buy 598 Kč
Literacy Education and Indigenous Australians Jennifer Rennie / Kniha Brožovaná
common.buy 2 357 Kč
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 377 Kč
Pinky Visits the Circus: Pinky Frink's Adventures Granny J / Kniha Brožovaná
common.buy 237 Kč
Mana Khemia 2: The Official Strategy Guide Doublejump Books / Kniha Brožovaná
common.buy 942 Kč
Nanotechnology for Sustainable Water Resources Ajay Kumar Mishra / Kniha Pevná
common.buy 5 322 Kč
Data Science and Artificial Intelligence for Digital Healthcare Pradeep Kumar Singh / Kniha Pevná
common.buy 4 707 Kč
Forest Tree Plantation Thomas Jonathan Burrill / Kniha Pevná
common.buy 619 Kč
Erin and Iran Grace Neville / Kniha Brožovaná
common.buy 669 Kč
Like Cats & Dogs Shane / Kniha Brožovaná
common.buy 191 Kč
Advances in Longitudinal Methods in the Social and Behavioral Sciences Gregory R. Hancock / Kniha Pevná
common.buy 2 924 Kč
Scenes for Teens, by Teens Diane Christiansen / Kniha Brožovaná
common.buy 208 Kč
How America Was Born Diana McCumiskey / Kniha Brožovaná
common.buy 331 Kč
Koufonisi, Crete Emory Christer / Kniha Brožovaná
common.buy 2 350 Kč
Sherlock Holmes and the Adventure of the Cold-Served Revenge Petr Macek / Kniha Brožovaná
common.buy 402 Kč
Transatlantic Divide Alberto Martinelli / Kniha Pevná
common.buy 489 Kč
Selected Stories Alice Munro / Kniha Brožovaná
common.buy 248 Kč
South Asia in a Globalising World Bob Bradnock / Kniha Brožovaná
common.buy 1 956 Kč
Adaptive Speciation Ulf DieckmannMichael DoebeliJohan A. J. MetzDiethard Tautz / Kniha Brožovaná
common.buy 1 727 Kč
Light Microscopy Helio Chiarini-Garcia / Kniha Pevná
common.buy 3 222 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?