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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Lano, K.
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