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 249 b
2 492 Kč
Skladem u dodavatele Odesíláme za 8-11 dnů

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

Zákazníci také koupili

Kritische Darstellung der Funktion der Arbeitnehmervertreter im Aufsichtsrat einer AG und einer GmbH - Recht und Realitat Frank Merkel / Kniha Brožovaná
common.buy 389 Kč
L’enseignement supérieur, une fabrique d’entrepreneurs ? CHAMPY / Kniha Brožovaná
common.buy 942 Kč
Fiat Bravo e Brava. 1995-2002 Alessandro Sannia / Kniha Brožovaná
common.buy 547 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č
Betriebswirtschaftslehre: Systeme, Entscheidungen, Methoden Werner Kirsch / Kniha Brožovaná
common.buy 1 284 Kč
Struktur und Funktionsmechanismus der mitochondrialen m-AAA-Protease Steffen Augustin / Kniha Brožovaná
common.buy 1 507 Kč
Trace 7 Kei Koga / Kniha Kniha
common.buy 164 Kč
UN VOLCAN EXPLOTO EL DIA QUE TE CONOCI GIL CATALA / Kniha Brožovaná
common.buy 477 Kč
Servicios esenciales, servicios mínimos y derecho de huelga Baylos Grau / Kniha Brožovaná
common.buy 756 Kč
Synthese de Nickelates de Lanthane. Application Sofc CIENFUEGOS PELAES RE / Kniha Brožovaná
common.buy 2 065 Kč
Flow Mihaly Csikszentmihalyi / Kniha Brožovaná
common.buy 316 Kč
Loose Cannons Spitzer / Audio Audio CD
common.buy 386 Kč
Ornithologische Briefe - Bler der Erinnerung an seine Freunde Homeyer Eugen Ferdinand von Homeyer / Kniha Brožovaná
common.buy 584 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 702 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 458 Kč
Critica de la crítica Filiberto Menna / Kniha Brožovaná
common.buy 318 Kč
Etudes de Philosophie Naturelle. 6e Serie. 1, Premier Chapitre de Physiologie Vitaliste Joseph-Emile Filachou / Kniha Brožovaná
common.buy 358 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

Comets and the Origin of Life Cyril Ponnamperuma / Kniha Brožovaná
common.buy 3 734 Kč
Where's Dachshund Dax? Delano van der Geest / Kniha Pevná
common.buy 413 Kč
Something Like Right Hunter / Kniha Pevná
common.buy 375 Kč
Leaves John Simmons / E-kniha Adobe ePub DRM
common.buy 337 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č
Advanced Principles of Molecular Virology Orlando Johnston / Kniha Pevná
common.buy 3 255 Kč
Reflexivity of Language and Linguistic Inquiry Duncker / Kniha Brožovaná
common.buy 1 524 Kč
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 959 Kč
In Crime: A Kat Makris Greek Mafia Novel Alex a King / Kniha Brožovaná
common.buy 320 Kč
Lookin' Up in Down Times: Stars Shine Bright on a Moonless Night Mountainbird / Kniha Brožovaná
common.buy 279 Kč
2 DIVISION Divisional Troops 5 Field Company Royal Engineers Wo95/1330 / Kniha Brožovaná
common.buy 1 901 Kč
Angels to the Rescue: Inspirational Real-Life Stories from an Er Doctor Robert D. Lesslie / Kniha Brožovaná
common.buy 382 Kč
Lost Dog Bill Cameron / Kniha Brožovaná
common.buy 308 Kč
Blue Blooded Shelly Bell / Kniha Brožovaná
common.buy 153 Kč
Delta II and III Space Operations at Cape Canaveral 1989-2009 45th Space Wing History Office / Kniha Brožovaná
common.buy 488 Kč
Debt Inheritance Pepper Winters / Kniha Brožovaná
common.buy 237 Kč
Science Teacher Educators as K-12 Teachers Laurie Brantley-Dias / Kniha Brožovaná
common.buy 2 492 Kč
From Cold War to Cyber War Hans-Joachim Heintze / Kniha Pevná
common.buy 2 492 Kč
Numerical Algebra, Matrix Theory, Differential-Algebraic Equations and Control Theory Peter Benner / Kniha Pevná
common.buy 2 492 Kč
Peppa Pig: Happy Easter Peppa Pig / Kniha Brožovaná
common.buy 120 Kč
Mandy's Doodles Coloring Book Mandy Rita Tardif / Kniha Brožovaná
common.buy 250 Kč
Getting Started with Hazelcast - Mat Johns / Kniha Brožovaná
common.buy 925 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?