Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €
phone Contacto phoneComo comprar

Using Event-B for Critical Device Software Systems

Língua InglêsInglês
Livro Capa mole
Livro Using Event-B for Critical Device Software Systems Neeraj Kumar Singh
Código Libristo: 09479723
Editoras Springer London Ltd, agosto 2013
This book presents an innovative development approach for critical systems and prototype implementat...
? points 222 b
91.94 €
Armazenamento externo Envio em 8-11 dias

Política de devolução de 30 dias

Os clientes também compraram

Trace 7 Kei Koga / Livro Livro
common.buy 6.27 €
Fiat Bravo e Brava. 1995-2002 Alessandro Sannia / Livro Capa mole
common.buy 18.12 €
L’enseignement supérieur, une fabrique d’entrepreneurs ? CHAMPY / Livro Capa mole
common.buy 32.39 €
Rok kobylek Terry Hayes / Livro Livro de capa dura
common.buy 19.94 €
Conni & Co 11: Conni, das Kleeblatt und die Pferde am Meer Dagmar Hofeld / E-book Adobe ePub DRM
common.buy 7.48 €
UN VOLCAN EXPLOTO EL DIA QUE TE CONOCI GIL CATALA / Livro Capa mole
common.buy 18.22 €
Kritische Darstellung der Funktion der Arbeitnehmervertreter im Aufsichtsrat einer AG und einer GmbH - Recht und Realitat Frank Merkel / Livro Capa mole
common.buy 15.08 €
Loose Cannons Spitzer / Áudio CD de áudio
common.buy 13.36 €
Ornithologische Briefe - Bler der Erinnerung an seine Freunde Homeyer Eugen Ferdinand von Homeyer / Livro Capa mole
common.buy 21.36 €
Calling The Devil Sticky Boys / Áudio CD de áudio
common.buy 10.52 €
Notions de Sciences, Avec Leurs Applications A l'Agriculture, A l'Usage Des Ecoles Primaires Barillot-V / Livro Capa mole
common.buy 27.74 €
Querida comida, querida salud : una guía científica y sencilla para vivir más y mejor F. D. Saura Calixto / Livro Capa mole
common.buy 17.10 €
Critica de la crítica Filiberto Menna / Livro Capa mole
common.buy 11.94 €
Etudes de Philosophie Naturelle. 6e Serie. 1, Premier Chapitre de Physiologie Vitaliste Joseph-Emile Filachou / Livro Capa mole
common.buy 13.26 €
Principal
Flow Mihaly Csikszentmihalyi / Livro Capa mole
common.buy 13.05 €
Synthese de Nickelates de Lanthane. Application Sofc CIENFUEGOS PELAES RE / Livro Capa mole
common.buy 75.43 €
Struktur und Funktionsmechanismus der mitochondrialen m-AAA-Protease Steffen Augustin / Livro Capa mole
common.buy 55.08 €
Betriebswirtschaftslehre: Systeme, Entscheidungen, Methoden Werner Kirsch / Livro Capa mole
common.buy 47.38 €

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.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Using Event-B for Critical Device Software Systems
Autor Neeraj Kumar Singh
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2013
Número de páginas 326
EAN 9781447157908
ISBN 1447157907
Código Libristo 09479723
Editoras Springer London Ltd
Peso 5212
Dimensões 155 x 18 x 19

Categorias

Medicina & enfermagem > Enfermagem & serviços auxiliares > Engenharia biomédica
Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Ieithiadur Neu Ramadeg Cymraeg. 2. Argraph. [of Gramadeg Cymraeg]. Robert Davies / Livro Capa mole
common.buy 13.86 €
China and the Future of Globalization Grzegorz W. Kolodko / Livro Capa mole
common.buy 36.14 €
Advanced Principles of Molecular Virology Orlando Johnston / Livro Livro de capa dura
common.buy 119.38 €
Acts of the General Assembly of the State of Florida: Passed at It's Fourth Session, 1848; 1848 Florida / Livro Capa mole
common.buy 15.69 €
Angels to the Rescue: Inspirational Real-Life Stories from an Er Doctor Robert D. Lesslie / Livro Capa mole
common.buy 14.88 €
Leaves John Simmons / E-book Adobe ePub DRM
common.buy 11.64 €
Lost Dog Bill Cameron / Livro Capa mole
common.buy 11.03 €
Getting Started with Hazelcast - Mat Johns / Livro Capa mole
common.buy 34.42 €
Mandy's Doodles Coloring Book Mandy Rita Tardif / Livro Capa mole
common.buy 9.31 €
From Cold War to Cyber War Hans-Joachim Heintze / Livro Livro de capa dura
common.buy 91.94 €
Science Teacher Educators as K-12 Teachers Laurie Brantley-Dias / Livro Capa mole
common.buy 91.94 €
Debt Inheritance Pepper Winters / Livro Capa mole
common.buy 8.80 €
Delta II and III Space Operations at Cape Canaveral 1989-2009 45th Space Wing History Office / Livro Capa mole
common.buy 18.42 €
Comets and the Origin of Life Cyril Ponnamperuma / Livro Capa mole
common.buy 137.81 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?