Using Event-B for Critical Device Software Systems - Hardback - 2013
Neeraj Kumar Singh
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
Year of publication: 2013
Pagination: 344 pages, 45 black & white illustrations, 20 black & white tables, biography
Format: Hardback
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
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