Specification in B : an introduction using the B toolkit /

This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques. It is suitable for both undergraduate and postgraduate courses, in addition to being an introduction for industrial practitione...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Lano, K.
Other Authors: Haughton, H.
Format: Electronic eBook
Language:Inglés
Published: London : Singapore ; River Edge, NJ : Imperial College Press ; Distributed by World Scientific Pub., ©1996.
Subjects:
B (Computer program language)
B (Langage de programmation)
COMPUTERS > Programming > Open Source.
COMPUTERS > Software Development & Engineering > General.
COMPUTERS > Software Development & Engineering > Tools.
B > Programmiersprache
B (langage de programmation)
Méthode B (informatique)
Logiciels > Développement.
Programming & scripting languages: general.
Software Engineering.
Computer programming > software engineering.
Computers and IT.
Online Access:Texto completo

Internet

Texto completo

Items no disponibles

Holdings details from

Similar Items