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 |