«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Using Event-B for Critical Device Software Systems

Idioma InglésInglés
Libro Tapa dura
Libro Using Event-B for Critical Device Software Systems Neeraj Kumar Singh
Código Libristo: 01426259
Editores Springer London Ltd, junio 2013
This book presents an innovative development approach for critical systems and prototype implementat...
? points 276 b
112.79 €
Almacenamiento externo Envío en 10-13 días

Hasta 30 días para devoluciones

Clientes que también han comprado

VADEMECUM ACCESO A LA ABOGACIA VOLUMEN V PARTE ESPECIFICA JOSE MARIA DE PABLO HERMIDA / Libro Tapa blanda
common.buy 29.19 €
BAJO LAS ALAS DE MI VUELO ALVAREZ GARCIA / Libro Tapa blanda
common.buy 18.59 €
L'Herpetologie Yannick Berthoud / Libro Tapa blanda
common.buy 37.39 €
Fisiopatología aplicada a la dietética ELENA NAVARRO SANCHEZ / Libro Tapa blanda
common.buy 36.89 €
Geostorky aneb Tak bude trochu tepleji... Petr Brož / Libro Tapa dura
common.buy 15.19 €
ANTOLOGIA SONORA DEL ROMANCERO TRADICIONAL PANHISPANICO II FRAILE GIL / Libro Libro
common.buy 47.89 €
DE VIÑADEROS Y ORUJEROS ROSELLON CIMIANO / Libro Tapa blanda
common.buy 24.39 €
Jordan la loi du plus fort NE Rosamond Smith / Libro Tapa blanda
common.buy 25.39 €
Le carnet de Sarah - Lignes, 96p, A5 - Jacquard Bleu Gris Taupe / Calendario/Diario Diario
common.buy 10.89 €
ICH BIN die Gegenwart Gottes in jedem Menschenherzen Stefan Sicurella / Libro Tapa dura
common.buy 15.79 €
Carlos Castilla del Pino : Obras completas I y II. 1946-1966 Carlos Castilla del Pino / Libro Tapa dura
common.buy 76.29 €
Referenzvorgehensmodell zum Redevelopment von Burobestandsimmobilien Thomas Harlfinger / Libro Tapa blanda
common.buy 49.19 €
Untersuchungen zu den lexikalischen Besonderheiten des Franzoesischen in Belgien Kristin Hammer / Libro Tapa blanda
common.buy 47.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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Using Event-B for Critical Device Software Systems
Autor Neeraj Kumar Singh
Idioma Inglés
Encuadernación Libro - Tapa dura
Fecha de publicación 2013
Número de páginas 326
EAN 9781447152590
ISBN 144715259X
Código Libristo 01426259
Editores Springer London Ltd
Peso 6387
Dimensiones 155 x 235 x 24

Categorías

Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemática
Medicina, enfermería, veterinaria > Enfermería y servicios auxiliares > Ingeniería biomédica
Computación e informática > Tecnología de la información: cuestiones generales > Aspectos de salud y de seguridad de la informática
Computación e informática > Aplicaciones gráficas y multimedia > Gráficos y modelado en 3D
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Modelos y simulaciones por ordenador
Medicina, enfermería, veterinaria > Medicina: cuestiones generales
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

BLUEY ECO-PUZZLE DF 60 / Juego/Juguete Juego
common.buy 8.49 €
Shower of Stars John J. Pullen / Libro electrónico Adobe ePub DRM
common.buy 47.09 €
Swindon - The Complete Works PETER TIMMS / Libro Tapa dura
common.buy 28.59 €
Literacy Education and Indigenous Australians Jennifer Rennie / Libro Tapa blanda
common.buy 112.79 €
Oriented Consciousness Mastering in the Practice of Surfing: A book about the Learning of Surfing Bruno Ferreira Alves Castello Da Costa / Libro Tapa blanda
common.buy 16.99 €
Pinky Visits the Circus: Pinky Frink's Adventures Granny J / Libro Tapa blanda
common.buy 10.69 €
Mana Khemia 2: The Official Strategy Guide Doublejump Books / Libro Tapa blanda
common.buy 42.59 €
Nanotechnology for Sustainable Water Resources Ajay Kumar Mishra / Libro Tapa dura
common.buy 239.59 €
Data Science and Artificial Intelligence for Digital Healthcare Pradeep Kumar Singh / Libro Tapa dura
common.buy 225.39 €
Forest Tree Plantation Thomas Jonathan Burrill / Libro Tapa dura
common.buy 27.89 €
Transatlantic Divide Alberto Martinelli / Libro Tapa dura
common.buy 28.09 €
Light Microscopy Helio Chiarini-Garcia / Libro Tapa dura
common.buy 154.79 €
Adaptive Speciation Ulf DieckmannMichael DoebeliJohan A. J. MetzDiethard Tautz / Libro Tapa blanda
common.buy 77.39 €
South Asia in a Globalising World Bob Bradnock / Libro Tapa blanda
common.buy 87.29 €
Selected Stories Alice Munro / Libro Tapa blanda
common.buy 17.09 €
Erin and Iran Grace Neville / Libro Tapa blanda
common.buy 27.49 €
Sherlock Holmes and the Adventure of the Cold-Served Revenge Petr Macek / Libro Tapa blanda
common.buy 18.09 €
Koufonisi, Crete Emory Christer / Libro Tapa blanda
common.buy 113.89 €
How America Was Born Diana McCumiskey / Libro Tapa blanda
common.buy 14.79 €
Scenes for Teens, by Teens Diane Christiansen / Libro Tapa blanda
common.buy 9.59 €
Advances in Longitudinal Methods in the Social and Behavioral Sciences Gregory R. Hancock / Libro Tapa dura
common.buy 130.09 €
Like Cats & Dogs Shane / Libro Tapa blanda
common.buy 8.89 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?