The B-book - Assigning Programs to Meanings - Paperback - 2005
J-.R. Abrial
Resumo
"The definitive book on the B Method; essential for all working in formal methods and safety-critical software.
Year of publication: 2005
Pagination: 816 pages, black & white illustrations
Format: Paperback"
Year of publication: 2005
Pagination: 816 pages, black & white illustrations
Format: Paperback"
The B-book - Assigning Programs to Meanings - Paperback -...
Resumo
"The definitive book on the B Method; essential for all working in formal methods and safety-critical software.
Year of publication: 2005
Pagination: 816 pages, black & white illustrations
Format: Paperback"
Year of publication: 2005
Pagination: 816 pages, black & white illustrations
Format: Paperback"
Publicidade
Avaliações dos nossos clientes
The B-book - Assigning Programs to Meanings - Paperback - 2005
Sê o primeiro a dar
a tua opinião sobre este produto
Características
- Editora
-
Cambridge University Press
- Dimensão
-
176 x 250 x 48
- Peso
-
1374
- Tema
-
Computer programming / software development
- Origem
-
United Kingdom
- EAN
-
9780521021753
Publicidade
Publicidade