Modeling in Event-B - System and Software Engineering - Hardback - 2010
Jean-Raymond Abrial
Estado :
Novo
Vendido por
País de expedição : Reino Unido
Comentários do vendedor
Livro novo; R�pido do Reino Unido; N�o ficar� desapontado - New book; Fast from the UK; Will not be disappointed
Resumo
A practical introduction to this modelbased formal method, containing a broad range of illustrative examples.
Year of publication: 2010
Pagination: 612 pages, 170 b/w illus. 30 exercises
Format: Hardback
Year of publication: 2010
Pagination: 612 pages, 170 b/w illus. 30 exercises
Format: Hardback
Modeling in Event-B - System and Software Engineering -...
Resumo
A practical introduction to this modelbased formal method, containing a broad range of illustrative examples.
Year of publication: 2010
Pagination: 612 pages, 170 b/w illus. 30 exercises
Format: Hardback
Year of publication: 2010
Pagination: 612 pages, 170 b/w illus. 30 exercises
Format: Hardback
Publicidade
Avaliações dos nossos clientes
Modeling in Event-B - System and Software Engineering - Hardback - 2010
Sê o primeiro a dar
a tua opinião sobre este produto
Características
- Editora
-
Cambridge University Press
- Idiomas
-
Inglês
- Dimensão
-
251 x 192 x 37
- Peso
-
1318
- Tema
-
Computer programming / software development|Mathematical theory of computation
- Origem
-
United Kingdom
- EAN
-
9780521895569
Publicidade
Publicidade