Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
London ; New York :
Springer,
©1996.
|
| Colección: | Formal approaches to computing and information technology.
|
| Temas: | |
| Acceso en línea: | Texto completo |