Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Using Event-B for Critical Device Software Systems

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Using Event-B for Critical Device Software Systems Neeraj Kumar Singh
Libristo kod: 09479723
Nakladnici Springer London Ltd, kolovoz 2013
This book presents an innovative development approach for critical systems and prototype implementat...
? points 249 b
103.07 €
Vanjske zalihe Šaljemo za 8-11 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Querida comida, querida salud : una guía científica y sencilla para vivir más y mejor F. D. Saura Calixto / Knjiga Meki uvez
common.buy 20.04 €
Fiat Bravo e Brava. 1995-2002 Alessandro Sannia / Knjiga Meki uvez
common.buy 21.56 €
L’enseignement supérieur, une fabrique d’entrepreneurs ? CHAMPY / Knjiga Meki uvez
common.buy 37.46 €
Rok kobylek Terry Hayes / Knjiga Tvrdi uvez
common.buy 22.88 €
UN VOLCAN EXPLOTO EL DIA QUE TE CONOCI GIL CATALA / Knjiga Meki uvez
common.buy 20.85 €
Conni & Co 11: Conni, das Kleeblatt und die Pferde am Meer Dagmar Hofeld / E-knjiga Adobe ePub DRM
common.buy 8.29 €
Loose Cannons Spitzer / Audio Audio CD
common.buy 15.48 €
Ornithologische Briefe - Bler der Erinnerung an seine Freunde Homeyer Eugen Ferdinand von Homeyer / Knjiga Meki uvez
common.buy 24.19 €
Calling The Devil Sticky Boys / Audio Audio CD
common.buy 11.74 €
Notions de Sciences, Avec Leurs Applications A l'Agriculture, A l'Usage Des Ecoles Primaires Barillot-V / Knjiga Meki uvez
common.buy 32.19 €
Kritische Darstellung der Funktion der Arbeitnehmervertreter im Aufsichtsrat einer AG und einer GmbH - Recht und Realitat Frank Merkel / Knjiga Meki uvez
common.buy 17.10 €
Etudes de Philosophie Naturelle. 6e Serie. 1, Premier Chapitre de Physiologie Vitaliste Joseph-Emile Filachou / Knjiga Meki uvez
common.buy 15.58 €
Top
Flow Mihaly Csikszentmihalyi / Knjiga Meki uvez
common.buy 15.48 €
Synthese de Nickelates de Lanthane. Application Sofc CIENFUEGOS PELAES RE / Knjiga Meki uvez
common.buy 85.46 €
Struktur und Funktionsmechanismus der mitochondrialen m-AAA-Protease Steffen Augustin / Knjiga Meki uvez
common.buy 62.37 €
Betriebswirtschaftslehre: Systeme, Entscheidungen, Methoden Werner Kirsch / Knjiga Meki uvez
common.buy 53.15 €
Critica de la crítica Filiberto Menna / Knjiga Meki uvez
common.buy 13.96 €
Trace 7 Kei Koga / Knjiga Knjiga
common.buy 7.69 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Using Event-B for Critical Device Software Systems
Autor Neeraj Kumar Singh
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2013
Broj stranica 326
EAN 9781447157908
ISBN 1447157907
Libristo kod 09479723
Nakladnici Springer London Ltd
Težina 5212
Dimenzije 155 x 18 x 19

Kategorija

Medicine & Nursing > Nursing & ancillary services > Biomedical engineering
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Getting Started with Hazelcast - Mat Johns / Knjiga Meki uvez
common.buy 40.19 €
China and the Future of Globalization Grzegorz W. Kolodko / Knjiga Meki uvez
common.buy 39.68 €
Ieithiadur Neu Ramadeg Cymraeg. 2. Argraph. [of Gramadeg Cymraeg]. Robert Davies / Knjiga Meki uvez
common.buy 17.10 €
Angels to the Rescue: Inspirational Real-Life Stories from an Er Doctor Robert D. Lesslie / Knjiga Meki uvez
common.buy 16.70 €
Advanced Principles of Molecular Virology Orlando Johnston / Knjiga Tvrdi uvez
common.buy 142.36 €
Acts of the General Assembly of the State of Florida: Passed at It's Fourth Session, 1848; 1848 Florida / Knjiga Meki uvez
common.buy 18.42 €
Leaves John Simmons / E-knjiga Adobe ePub DRM
common.buy 13.05 €
Mandy's Doodles Coloring Book Mandy Rita Tardif / Knjiga Meki uvez
common.buy 10.82 €
From Cold War to Cyber War Hans-Joachim Heintze / Knjiga Tvrdi uvez
common.buy 103.07 €
Science Teacher Educators as K-12 Teachers Laurie Brantley-Dias / Knjiga Meki uvez
common.buy 103.07 €
Debt Inheritance Pepper Winters / Knjiga Meki uvez
common.buy 10.32 €
Delta II and III Space Operations at Cape Canaveral 1989-2009 45th Space Wing History Office / Knjiga Meki uvez
common.buy 21.05 €
Comets and the Origin of Life Cyril Ponnamperuma / Knjiga Meki uvez
common.buy 154.52 €
Lost Dog Bill Cameron / Knjiga Meki uvez
common.buy 13.56 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?