Using Event-B for Critical Device Software Systems - Hardback - 2013

Neeraj Kumar Singh

Using Event-B for Critical Device Software Systems - Hardback - 2013 - 1
Estado : Novo
Vendido por
RiaEnglishBooks
4,6 4 435 vendas
País de expedição : Reino Unido
Colocar uma questão ao vendedor
Resumo
Using Event-B for Critical Device Software Systems
Year of publication: 2013
Pagination: 344 pages, 45 black & white illustrations, 20 black & white tables, biography
Format: Hardback

140,55 €
Entrega pelo vendedor parceiro

Entrega Envio Contra Assinaturagratuito Entrega na morada indicada sem acompanhamento da entrega contra assinatura Entregue em 3 a 4 semanas

Using Event-B for Critical Device Software Systems - Hardback - 2013
Using Event-B for Critical Device Software Systems -...

Resumo

Using Event-B for Critical Device Software Systems
Year of publication: 2013
Pagination: 344 pages, 45 black & white illustrations, 20 black & white tables, biography
Format: Hardback
Publicidade

Avaliações dos nossos clientes

Using Event-B for Critical Device Software Systems - Hardback - 2013

Sê o primeiro a dar
a tua opinião sobre este produto

Características

Editora

Springer London Ltd

Dimensão

234 x 156 x 20

Peso

678

Tema

Biomedical engineering|Software Engineering

Origem

United Kingdom

EAN

9781447152590

Publicidade
Publicidade