Loading…
The B language and method : a guide to practical formal development /
B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support form...
| Call Number: | Libro Electrónico |
|---|---|
| Main Author: | |
| Format: | Electronic eBook |
| Language: | Inglés |
| Published: |
London ; New York :
Springer,
©1996.
|
| Series: | Formal approaches to computing and information technology.
|
| Subjects: | |
| Online Access: | Texto completo |