Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Using Event-B for Critical Device Software Systems

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Using Event-B for Critical Device Software Systems Neeraj Kumar Singh
Koda Libristo: 09479723
Založba Springer London Ltd, avgust 2013
This book presents an innovative development approach for critical systems and prototype implementat...
? points 236 b
97.40 €
Na zalogi pri dobavitelju Odposlali bomo v 8-11 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

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

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Using Event-B for Critical Device Software Systems
Avtor Neeraj Kumar Singh
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2013
Število strani 326
EAN 9781447157908
ISBN 1447157907
Koda Libristo 09479723
Založba Springer London Ltd
Teža 5212
Mere 155 x 18 x 19

Kategorije

Medicine & Nursing > Nursing & ancillary services > Biomedical engineering
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Getting Started with Hazelcast - Mat Johns / Knjiga Mehka
common.buy 38.23 €
Ieithiadur Neu Ramadeg Cymraeg. 2. Argraph. [of Gramadeg Cymraeg]. Robert Davies / Knjiga Mehka
common.buy 16.07 €
China and the Future of Globalization Grzegorz W. Kolodko / Knjiga Mehka
common.buy 37.92 €
Advanced Principles of Molecular Virology Orlando Johnston / Knjiga Trda
common.buy 134.53 €
Acts of the General Assembly of the State of Florida: Passed at It's Fourth Session, 1848; 1848 Florida / Knjiga Mehka
common.buy 17.49 €
Leaves John Simmons / E-knjiga Adobe ePub DRM
common.buy 12.43 €
Angels to the Rescue: Inspirational Real-Life Stories from an Er Doctor Robert D. Lesslie / Knjiga Mehka
common.buy 15.77 €
Lost Dog Bill Cameron / Knjiga Mehka
common.buy 12.74 €
Where's Dachshund Dax? Delano van der Geest / Knjiga Trda
common.buy 17.09 €
Mandy's Doodles Coloring Book Mandy Rita Tardif / Knjiga Mehka
common.buy 10.31 €
From Cold War to Cyber War Hans-Joachim Heintze / Knjiga Trda
common.buy 97.40 €
Science Teacher Educators as K-12 Teachers Laurie Brantley-Dias / Knjiga Mehka
common.buy 97.40 €
Debt Inheritance Pepper Winters / Knjiga Mehka
common.buy 9.80 €
Delta II and III Space Operations at Cape Canaveral 1989-2009 45th Space Wing History Office / Knjiga Mehka
common.buy 20.12 €
Peppa Pig: Happy Easter Peppa Pig / Knjiga Mehka
common.buy 4.64 €
Comets and the Origin of Life Cyril Ponnamperuma / Knjiga Mehka
common.buy 145.96 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo