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

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Trace 7 Kei Koga / Kniha Kniha
common.buy 6.25 €
L’enseignement supérieur, une fabrique d’entrepreneurs ? CHAMPY / Kniha Brožovaná
common.buy 39.09 €
Fiat Bravo e Brava. 1995-2002 Alessandro Sannia / Kniha Brožovaná
common.buy 22.62 €
Rok kobylek Terry Hayes / Kniha Pevná
common.buy 22.01 €
Conni & Co 11: Conni, das Kleeblatt und die Pferde am Meer Dagmar Hofeld / E-kniha Adobe ePub DRM
common.buy 8.78 €
Kritische Darstellung der Funktion der Arbeitnehmervertreter im Aufsichtsrat einer AG und einer GmbH - Recht und Realitat Frank Merkel / Kniha Brožovaná
common.buy 17.06 €
UN VOLCAN EXPLOTO EL DIA QUE TE CONOCI GIL CATALA / Kniha Brožovaná
common.buy 21.61 €
Loose Cannons Spitzer / Audio Audio CD
common.buy 16.16 €
Ornithologische Briefe - Bler der Erinnerung an seine Freunde Homeyer Eugen Ferdinand von Homeyer / Kniha Brožovaná
common.buy 24.14 €
Calling The Devil Sticky Boys / Audio Audio CD
common.buy 11.71 €
Notions de Sciences, Avec Leurs Applications A l'Agriculture, A l'Usage Des Ecoles Primaires Barillot-V / Kniha Brožovaná
common.buy 30.70 €
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 21.00 €
Critica de la crítica Filiberto Menna / Kniha Brožovaná
common.buy 14.54 €
Etudes de Philosophie Naturelle. 6e Serie. 1, Premier Chapitre de Physiologie Vitaliste Joseph-Emile Filachou / Kniha Brožovaná
common.buy 14.74 €
Top
Flow Mihaly Csikszentmihalyi / Kniha Brožovaná
common.buy 12.11 €
Synthese de Nickelates de Lanthane. Application Sofc CIENFUEGOS PELAES RE / Kniha Brožovaná
common.buy 85.26 €
Struktur und Funktionsmechanismus der mitochondrialen m-AAA-Protease Steffen Augustin / Kniha Brožovaná
common.buy 62.23 €
Betriebswirtschaftslehre: Systeme, Entscheidungen, Methoden Werner Kirsch / Kniha Brožovaná
common.buy 53.03 €

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 - Brožovaná
Dátum vydania 2013
Počet strán 326
EAN 9781447157908
ISBN 1447157907
Libristo kód 09479723
Nakladateľstvo Springer London Ltd
Váha 5212
Rozmery 155 x 18 x 19

Kategórie

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 > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
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ť

Getting Started with Hazelcast - Mat Johns / Kniha Brožovaná
common.buy 38.18 €
Ieithiadur Neu Ramadeg Cymraeg. 2. Argraph. [of Gramadeg Cymraeg]. Robert Davies / Kniha Brožovaná
common.buy 16.05 €
China and the Future of Globalization Grzegorz W. Kolodko / Kniha Brožovaná
common.buy 39.59 €
Advanced Principles of Molecular Virology Orlando Johnston / Kniha Pevná
common.buy 134.36 €
Acts of the General Assembly of the State of Florida: Passed at It's Fourth Session, 1848; 1848 Florida / Kniha Brožovaná
common.buy 17.47 €
Leaves John Simmons / E-kniha Adobe ePub DRM
common.buy 13.73 €
Angels to the Rescue: Inspirational Real-Life Stories from an Er Doctor Robert D. Lesslie / Kniha Brožovaná
common.buy 16.66 €
Lost Dog Bill Cameron / Kniha Brožovaná
common.buy 12.72 €
Where's Dachshund Dax? Delano van der Geest / Kniha Pevná
common.buy 18.07 €
Mandy's Doodles Coloring Book Mandy Rita Tardif / Kniha Brožovaná
common.buy 10.30 €
From Cold War to Cyber War Hans-Joachim Heintze / Kniha Pevná
common.buy 102.84 €
Science Teacher Educators as K-12 Teachers Laurie Brantley-Dias / Kniha Brožovaná
common.buy 102.84 €
Debt Inheritance Pepper Winters / Kniha Brožovaná
common.buy 9.79 €
Delta II and III Space Operations at Cape Canaveral 1989-2009 45th Space Wing History Office / Kniha Brožovaná
common.buy 20.10 €
Peppa Pig: Happy Easter Peppa Pig / Kniha Brožovaná
common.buy 4.94 €
Comets and the Origin of Life Cyril Ponnamperuma / Kniha Brožovaná
common.buy 154.16 €

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ť?