Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Using Event-B for Critical Device Software Systems

Lingua IngleseInglese
Libro In brossura
Libro Using Event-B for Critical Device Software Systems Neeraj Kumar Singh
Codice Libristo: 09479723
Casa editrice Springer London Ltd, agosto 2013
This book presents an innovative development approach for critical systems and prototype implementat...
? points 263 b
107.29 €
Magazzino esterno Inviamo tra 8-11 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Trace 7 Kei Koga / Libro Libro
common.buy 8.59 €
L’enseignement supérieur, une fabrique d’entrepreneurs ? CHAMPY / Libro In brossura
common.buy 40.39 €
Fiat Bravo e Brava. 1995-2002 Alessandro Sannia / Libro In brossura
common.buy 23.49 €
Rok kobylek Terry Hayes / Libro Rigido
common.buy 23.99 €
Conni & Co 11: Conni, das Kleeblatt und die Pferde am Meer Dagmar Hofeld / Libro elettronico Adobe ePub DRM
common.buy 9.09 €
Kritische Darstellung der Funktion der Arbeitnehmervertreter im Aufsichtsrat einer AG und einer GmbH - Recht und Realitat Frank Merkel / Libro In brossura
common.buy 17.89 €
UN VOLCAN EXPLOTO EL DIA QUE TE CONOCI GIL CATALA / Libro In brossura
common.buy 21.39 €
Loose Cannons Spitzer / Audio CD audio
common.buy 16.69 €
Ornithologische Briefe - Bler der Erinnerung an seine Freunde Homeyer Eugen Ferdinand von Homeyer / Libro In brossura
common.buy 25.29 €
Calling The Devil Sticky Boys / Audio CD audio
common.buy 12.09 €
Notions de Sciences, Avec Leurs Applications A l'Agriculture, A l'Usage Des Ecoles Primaires Barillot-V / Libro In brossura
common.buy 33.29 €
Querida comida, querida salud : una guía científica y sencilla para vivir más y mejor F. D. Saura Calixto / Libro In brossura
common.buy 20.79 €
Critica de la crítica Filiberto Menna / Libro In brossura
common.buy 14.39 €
Etudes de Philosophie Naturelle. 6e Serie. 1, Premier Chapitre de Physiologie Vitaliste Joseph-Emile Filachou / Libro In brossura
common.buy 16.09 €
I migliori
Flow Mihaly Csikszentmihalyi / Libro In brossura
common.buy 16.99 €
Synthese de Nickelates de Lanthane. Application Sofc CIENFUEGOS PELAES RE / Libro In brossura
common.buy 89.29 €
Struktur und Funktionsmechanismus der mitochondrialen m-AAA-Protease Steffen Augustin / Libro In brossura
common.buy 65.19 €
Betriebswirtschaftslehre: Systeme, Entscheidungen, Methoden Werner Kirsch / Libro In brossura
common.buy 55.29 €

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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Using Event-B for Critical Device Software Systems
Autore Neeraj Kumar Singh
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2013
Numero di pagine 326
EAN 9781447157908
ISBN 1447157907
Codice Libristo 09479723
Casa editrice Springer London Ltd
Peso 5212
Dimensioni 155 x 18 x 19

Categorie

Medicina e Infermieristica > Infermieristica e servizi ausiliari > Ingegneria biomedica
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Getting Started with Hazelcast - Mat Johns / Libro In brossura
common.buy 41.69 €
Ieithiadur Neu Ramadeg Cymraeg. 2. Argraph. [of Gramadeg Cymraeg]. Robert Davies / Libro In brossura
common.buy 17.89 €
China and the Future of Globalization Grzegorz W. Kolodko / Libro In brossura
common.buy 40.99 €
Advanced Principles of Molecular Virology Orlando Johnston / Libro Rigido
common.buy 148.09 €
Acts of the General Assembly of the State of Florida: Passed at It's Fourth Session, 1848; 1848 Florida / Libro In brossura
common.buy 19.09 €
Leaves John Simmons / Libro elettronico Adobe ePub DRM
common.buy 14.29 €
Angels to the Rescue: Inspirational Real-Life Stories from an Er Doctor Robert D. Lesslie / Libro In brossura
common.buy 17.39 €
Lost Dog Bill Cameron / Libro In brossura
common.buy 14.29 €
Where's Dachshund Dax? Delano van der Geest / Libro Rigido
common.buy 18.99 €
Mandy's Doodles Coloring Book Mandy Rita Tardif / Libro In brossura
common.buy 11.19 €
From Cold War to Cyber War Hans-Joachim Heintze / Libro Rigido
common.buy 107.29 €
Science Teacher Educators as K-12 Teachers Laurie Brantley-Dias / Libro In brossura
common.buy 107.29 €
Debt Inheritance Pepper Winters / Libro In brossura
common.buy 10.69 €
Delta II and III Space Operations at Cape Canaveral 1989-2009 45th Space Wing History Office / Libro In brossura
common.buy 21.69 €
Peppa Pig: Happy Easter Peppa Pig / Libro In brossura
common.buy 5.29 €
Comets and the Origin of Life Cyril Ponnamperuma / Libro In brossura
common.buy 160.89 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?