Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

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 €

phone

Contatto

phone

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

0

Spedizione gratuita per ordini superiori a 69,99 euro.

Libro Using Event-B for Critical Device Software Systems Neeraj Kumar Singh

Using Event-B for Critical Device Software Systems

Neeraj Kumar Singh

Lingua

Inglese

Libro Rigido

Libro Using Event-B for Critical Device Software Systems Neeraj Kumar Singh

Codice Libristo: 01426259

Casa editrice Springer London Ltd, giugno 2013

This book presents an innovative development approach for critical systems and prototype implementat...

Codice Libristo: 01426259

?

points

263 b

107.29 €

Magazzino esterno Inviamo tra 10-13 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Geostorky aneb Tak bude trochu tepleji... Petr Brož

/

Rigido

14.89 €

VADEMECUM ACCESO A LA ABOGACIA VOLUMEN V PARTE ESPECIFICA JOSE MARIA DE PABLO HERMIDA

/

In brossura

29.89 €

BAJO LAS ALAS DE MI VUELO ALVAREZ GARCIA

/

In brossura

19.09 €

L'Herpetologie Yannick Berthoud

/

In brossura

37.39 €

ANTOLOGIA SONORA DEL ROMANCERO TRADICIONAL PANHISPANICO II FRAILE GIL

/

Libro

49.09 €

DE VIÑADEROS Y ORUJEROS ROSELLON CIMIANO

/

In brossura

24.89 €

Jordan la loi du plus fort NE Rosamond Smith

/

In brossura

25.99 €

Le carnet de Sarah - Lignes, 96p, A5 - Jacquard Bleu Gris Taupe

/

Agenda

11.19 €

ICH BIN die Gegenwart Gottes in jedem Menschenherzen Stefan Sicurella

/

Rigido

15.49 €

Carlos Castilla del Pino : Obras completas I y II. 1946-1966 Carlos Castilla del Pino

/

Rigido

78.39 €

Referenzvorgehensmodell zum Redevelopment von Burobestandsimmobilien Thomas Harlfinger

/

In brossura

46.59 €

Untersuchungen zu den lexikalischen Besonderheiten des Franzoesischen in Belgien Kristin Hammer

/

In brossura

44.79 €

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

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 - Rigido

Data di pubblicazione 2013

Numero di pagine 326

EAN 9781447152590

ISBN 144715259X

Codice Libristo 01426259

Casa editrice Springer London Ltd

Peso 6387

Dimensioni 155 x 235 x 24

Categorie

Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica

Medicina e Infermieristica > Infermieristica e servizi ausiliari > Ingegneria biomedica

Informatica e Tecnologia dell’Informazione > Informatica: argomenti di interesse generale > Salute e sicurezza nell’informatica

Informatica e Tecnologia dell’Informazione > Applicazioni grafiche e multimediali > Grafica e modellazione 3D

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Modelli di simulazione per computer

Medicina e Infermieristica > Medicina: argomenti di interesse generale

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

BLUEY ECO-PUZZLE DF 60

/

Gioco

8.29 €

Shower of Stars John J. Pullen

/

Adobe ePub DRM

46.19 €

Swindon - The Complete Works PETER TIMMS

/

Rigido

27.89 €

Literacy Education and Indigenous Australians Jennifer Rennie

/

In brossura

107.29 €

Oriented Consciousness Mastering in the Practice of Surfing: A book about the Learning of Surfing Bruno Ferreira Alves Castello Da Costa

/

In brossura

16.99 €

Pinky Visits the Circus: Pinky Frink's Adventures Granny J

/

In brossura

10.69 €

Mana Khemia 2: The Official Strategy Guide Doublejump Books

/

In brossura

42.59 €

Nanotechnology for Sustainable Water Resources Ajay Kumar Mishra

/

Rigido

239.59 €

Data Science and Artificial Intelligence for Digital Healthcare Pradeep Kumar Singh

/

Rigido

214.29 €

Forest Tree Plantation Thomas Jonathan Burrill

/

Rigido

27.89 €

Erin and Iran Grace Neville

/

In brossura

31.59 €

Like Cats & Dogs Shane

/

In brossura

8.89 €

Advances in Longitudinal Methods in the Social and Behavioral Sciences Gregory R. Hancock

/

Rigido

130.09 €

Scenes for Teens, by Teens Diane Christiansen

/

In brossura

9.59 €

How America Was Born Diana McCumiskey

/

In brossura

14.79 €

Koufonisi, Crete Emory Christer

/

In brossura

107.99 €

Sherlock Holmes and the Adventure of the Cold-Served Revenge Petr Macek

/

In brossura

18.09 €

Transatlantic Divide Alberto Martinelli

/

Rigido

21.79 €

Selected Stories Alice Munro

/

In brossura

12.49 €

South Asia in a Globalising World Bob Bradnock

/

In brossura

87.29 €

Adaptive Speciation Ulf DieckmannMichael DoebeliJohan A. J. MetzDiethard Tautz

/

In brossura

77.39 €

Light Microscopy Helio Chiarini-Garcia

/

Rigido

146.99 €

Consulente di libri Libroamiko

Ciao, sono Libroamiko, posso aiutarti?