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 Brožovaná
Kniha Using Event-B for Critical Device Software Systems Neeraj Kumar Singh
Libristo kód: 09479723
Nakladatelství Springer London Ltd, srpen 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 8-11 dnů

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

Zákazníci také koupili

Trace 7 Kei Koga / Kniha Kniha
common.buy 164 Kč
Fiat Bravo e Brava. 1995-2002 Alessandro Sannia / Kniha Brožovaná
common.buy 549 Kč
L’enseignement supérieur, une fabrique d’entrepreneurs ? CHAMPY / Kniha Brožovaná
common.buy 946 Kč
Rok kobylek Terry Hayes / Kniha Pevná
common.buy 559 Kč
Conni & Co 11: Conni, das Kleeblatt und die Pferde am Meer Dagmar Hofeld / E-kniha Adobe ePub DRM
common.buy 212 Kč
UN VOLCAN EXPLOTO EL DIA QUE TE CONOCI GIL CATALA / Kniha Brožovaná
common.buy 524 Kč
Kritische Darstellung der Funktion der Arbeitnehmervertreter im Aufsichtsrat einer AG und einer GmbH - Recht und Realitat Frank Merkel / Kniha Brožovaná
common.buy 390 Kč
Loose Cannons Spitzer / Audio Audio CD
common.buy 391 Kč
Ornithologische Briefe - Bler der Erinnerung an seine Freunde Homeyer Eugen Ferdinand von Homeyer / Kniha Brožovaná
common.buy 550 Kč
Calling The Devil Sticky Boys / Audio Audio CD
common.buy 269 Kč
Notions de Sciences, Avec Leurs Applications A l'Agriculture, A l'Usage Des Ecoles Primaires Barillot-V / Kniha Brožovaná
common.buy 743 Kč
Querida comida, querida salud : una guía científica y sencilla para vivir más y mejor F. D. Saura Calixto / Kniha Brožovaná
common.buy 509 Kč
Critica de la crítica Filiberto Menna / Kniha Brožovaná
common.buy 353 Kč
Etudes de Philosophie Naturelle. 6e Serie. 1, Premier Chapitre de Physiologie Vitaliste Joseph-Emile Filachou / Kniha Brožovaná
common.buy 358 Kč
Top
Flow Mihaly Csikszentmihalyi / Kniha Brožovaná
common.buy 315 Kč
Synthese de Nickelates de Lanthane. Application Sofc CIENFUEGOS PELAES RE / Kniha Brožovaná
common.buy 1 944 Kč
Struktur und Funktionsmechanismus der mitochondrialen m-AAA-Protease Steffen Augustin / Kniha Brožovaná
common.buy 1 419 Kč
Betriebswirtschaftslehre: Systeme, Entscheidungen, Methoden Werner Kirsch / Kniha Brožovaná
common.buy 1 214 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 - Brožovaná
Datum vydání 2013
Počet stran 326
EAN 9781447157908
ISBN 1447157907
Libristo kód 09479723
Nakladatelství Springer London Ltd
Váha 5212
Rozměry 155 x 18 x 19

Kategorie

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 > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
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

Ieithiadur Neu Ramadeg Cymraeg. 2. Argraph. [of Gramadeg Cymraeg]. Robert Davies / Kniha Brožovaná
common.buy 388 Kč
China and the Future of Globalization Grzegorz W. Kolodko / Kniha Brožovaná
common.buy 960 Kč
Advanced Principles of Molecular Virology Orlando Johnston / Kniha Pevná
common.buy 3 255 Kč
Acts of the General Assembly of the State of Florida: Passed at It's Fourth Session, 1848; 1848 Florida / Kniha Brožovaná
common.buy 423 Kč
Angels to the Rescue: Inspirational Real-Life Stories from an Er Doctor Robert D. Lesslie / Kniha Brožovaná
common.buy 382 Kč
Leaves John Simmons / E-kniha Adobe ePub DRM
common.buy 333 Kč
Lost Dog Bill Cameron / Kniha Brožovaná
common.buy 308 Kč
Getting Started with Hazelcast - Mat Johns / Kniha Brožovaná
common.buy 925 Kč
Mandy's Doodles Coloring Book Mandy Rita Tardif / Kniha Brožovaná
common.buy 250 Kč
From Cold War to Cyber War Hans-Joachim Heintze / Kniha Pevná
common.buy 2 357 Kč
Science Teacher Educators as K-12 Teachers Laurie Brantley-Dias / Kniha Brožovaná
common.buy 2 357 Kč
Debt Inheritance Pepper Winters / Kniha Brožovaná
common.buy 237 Kč
Delta II and III Space Operations at Cape Canaveral 1989-2009 45th Space Wing History Office / Kniha Brožovaná
common.buy 488 Kč
Comets and the Origin of Life Cyril Ponnamperuma / Kniha Brožovaná
common.buy 3 532 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?