Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Using Event-B for Critical Device Software Systems

Język AngielskiAngielski
Książka Miękka
Książka Using Event-B for Critical Device Software Systems Neeraj Kumar Singh
Kod Libristo: 09479723
Wydawnictwo Springer London Ltd, sierpień 2013
This book presents an innovative development approach for critical systems and prototype implementat...
? points 249 b
438.36 zł
Dostępna u dostawcy Wysyłamy za 8-11 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Trace 7 Kei Koga / Książka Książka
common.buy 32.84 zł
L’enseignement supérieur, une fabrique d’entrepreneurs ? CHAMPY / Książka Miękka
common.buy 166.37 zł
Fiat Bravo e Brava. 1995-2002 Alessandro Sannia / Książka Miękka
common.buy 91.79 zł
Rok kobylek Terry Hayes / Książka Twarda
common.buy 97.14 zł
Conni & Co 11: Conni, das Kleeblatt und die Pferde am Meer Dagmar Hofeld / E-book Adobe ePub DRM
common.buy 37.48 zł
Kritische Darstellung der Funktion der Arbeitnehmervertreter im Aufsichtsrat einer AG und einer GmbH - Recht und Realitat Frank Merkel / Książka Miękka
common.buy 72.85 zł
UN VOLCAN EXPLOTO EL DIA QUE TE CONOCI GIL CATALA / Książka Miękka
common.buy 92.20 zł
Loose Cannons Spitzer / Audio CD Audio
common.buy 68.72 zł
Ornithologische Briefe - Bler der Erinnerung an seine Freunde Homeyer Eugen Ferdinand von Homeyer / Książka Miękka
common.buy 102.68 zł
Calling The Devil Sticky Boys / Audio CD Audio
common.buy 49.77 zł
Notions de Sciences, Avec Leurs Applications A l'Agriculture, A l'Usage Des Ecoles Primaires Barillot-V / Książka Miękka
common.buy 137.04 zł
Querida comida, querida salud : una guía científica y sencilla para vivir más y mejor F. D. Saura Calixto / Książka Miękka
common.buy 89.48 zł
Critica de la crítica Filiberto Menna / Książka Miękka
common.buy 62.07 zł
Etudes de Philosophie Naturelle. 6e Serie. 1, Premier Chapitre de Physiologie Vitaliste Joseph-Emile Filachou / Książka Miękka
common.buy 66.10 zł
TOP
Flow Mihaly Csikszentmihalyi / Książka Miękka
common.buy 68.92 zł
Synthese de Nickelates de Lanthane. Application Sofc CIENFUEGOS PELAES RE / Książka Miękka
common.buy 363.18 zł
Struktur und Funktionsmechanismus der mitochondrialen m-AAA-Protease Steffen Augustin / Książka Miękka
common.buy 265.03 zł
Betriebswirtschaftslehre: Systeme, Entscheidungen, Methoden Werner Kirsch / Książka Miękka
common.buy 225.82 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Using Event-B for Critical Device Software Systems
Autor Neeraj Kumar Singh
Język Angielski
Oprawa Książka - Miękka
Data wydania 2013
Liczba stron 326
EAN 9781447157908
ISBN 1447157907
Kod Libristo 09479723
Wydawnictwo Springer London Ltd
Waga 5212
Wymiary 155 x 18 x 19

Kategoria

Medycyna i opieka zdrowotna > Pielęgniarstwo i usługi pomocnicze medycyny > Inżynieria biomedyczna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Getting Started with Hazelcast - Mat Johns / Książka Miękka
common.buy 171.00 zł
Ieithiadur Neu Ramadeg Cymraeg. 2. Argraph. [of Gramadeg Cymraeg]. Robert Davies / Książka Miękka
common.buy 72.85 zł
China and the Future of Globalization Grzegorz W. Kolodko / Książka Miękka
common.buy 176.55 zł
Advanced Principles of Molecular Virology Orlando Johnston / Książka Twarda
common.buy 605.14 zł
Acts of the General Assembly of the State of Florida: Passed at It's Fourth Session, 1848; 1848 Florida / Książka Miękka
common.buy 78.29 zł
Leaves John Simmons / E-book Adobe ePub DRM
common.buy 58.54 zł
Angels to the Rescue: Inspirational Real-Life Stories from an Er Doctor Robert D. Lesslie / Książka Miękka
common.buy 71.24 zł
Lost Dog Bill Cameron / Książka Miękka
common.buy 57.73 zł
Where's Dachshund Dax? Delano van der Geest / Książka Twarda
common.buy 77.18 zł
Mandy's Doodles Coloring Book Mandy Rita Tardif / Książka Miękka
common.buy 46.24 zł
From Cold War to Cyber War Hans-Joachim Heintze / Książka Twarda
common.buy 438.36 zł
Science Teacher Educators as K-12 Teachers Laurie Brantley-Dias / Książka Miękka
common.buy 438.36 zł
Debt Inheritance Pepper Winters / Książka Miękka
common.buy 43.93 zł
Delta II and III Space Operations at Cape Canaveral 1989-2009 45th Space Wing History Office / Książka Miękka
common.buy 89.68 zł
Peppa Pig: Happy Easter Peppa Pig / Książka Miękka
common.buy 21.05 zł
Comets and the Origin of Life Cyril Ponnamperuma / Książka Miękka
common.buy 656.83 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?