«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 blanda
Libro Using Event-B for Critical Device Software Systems Neeraj Kumar Singh
Código Libristo: 09479723
Editores Springer London Ltd, agosto 2013
This book presents an innovative development approach for critical systems and prototype implementat...
? points 276 b
112.79 €
Almacenamiento externo Envío en 8-11 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Trace 7 Kei Koga / Libro Libro
common.buy 8.69 €
L’enseignement supérieur, une fabrique d’entrepreneurs ? CHAMPY / Libro Tapa blanda
common.buy 39.29 €
Fiat Bravo e Brava. 1995-2002 Alessandro Sannia / Libro Tapa blanda
common.buy 23.99 €
Rok kobylek Terry Hayes / Libro Tapa dura
common.buy 24.59 €
Conni & Co 11: Conni, das Kleeblatt und die Pferde am Meer Dagmar Hofeld / Libro electrónico Adobe ePub DRM
common.buy 9.29 €
Kritische Darstellung der Funktion der Arbeitnehmervertreter im Aufsichtsrat einer AG und einer GmbH - Recht und Realitat Frank Merkel / Libro Tapa blanda
common.buy 18.89 €
UN VOLCAN EXPLOTO EL DIA QUE TE CONOCI GIL CATALA / Libro Tapa blanda
common.buy 20.89 €
Loose Cannons Spitzer / Audio CD de audio
common.buy 16.29 €
Ornithologische Briefe - Bler der Erinnerung an seine Freunde Homeyer Eugen Ferdinand von Homeyer / Libro Tapa blanda
common.buy 26.69 €
Calling The Devil Sticky Boys / Audio CD de audio
common.buy 12.69 €
Notions de Sciences, Avec Leurs Applications A l'Agriculture, A l'Usage Des Ecoles Primaires Barillot-V / Libro Tapa blanda
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 Tapa blanda
common.buy 20.19 €
Critica de la crítica Filiberto Menna / Libro Tapa blanda
common.buy 14.69 €
Etudes de Philosophie Naturelle. 6e Serie. 1, Premier Chapitre de Physiologie Vitaliste Joseph-Emile Filachou / Libro Tapa blanda
common.buy 16.09 €
Popular
Flow Mihaly Csikszentmihalyi / Libro Tapa blanda
common.buy 17.29 €
Synthese de Nickelates de Lanthane. Application Sofc CIENFUEGOS PELAES RE / Libro Tapa blanda
common.buy 94.29 €
Struktur und Funktionsmechanismus der mitochondrialen m-AAA-Protease Steffen Augustin / Libro Tapa blanda
common.buy 68.79 €
Betriebswirtschaftslehre: Systeme, Entscheidungen, Methoden Werner Kirsch / Libro Tapa blanda
common.buy 58.09 €

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 blanda
Fecha de publicación 2013
Número de páginas 326
EAN 9781447157908
ISBN 1447157907
Código Libristo 09479723
Editores Springer London Ltd
Peso 5212
Dimensiones 155 x 18 x 19

Categorías

Medicina, enfermería, veterinaria > Enfermería y servicios auxiliares > Ingeniería biomédica
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
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

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

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?