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

K. Lano

(Formal approaches to computing and information technology (FACIT))

Springer, c1996

Available at  / 6 libraries

Search this Book/Journal

Note

Includes index

Related Books: 1-1 of 1

Details

Page Top