The B language and method : a guide to practical formal development
Author(s)
Bibliographic Information
The B language and method : a guide to practical formal development
(Formal approaches to computing and information technology (FACIT))
Springer, c1996
Available at / 6 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes index