Specification in B : an introduction using the B toolkit

Author(s)

Bibliographic Information

Specification in B : an introduction using the B toolkit

Kevin Lano, Howard Haughton

Imperial College Press, c1996

  • : pbk

Available at  / 3 libraries

Search this Book/Journal

Note

Includes index

Details

  • NCID
    BA29128316
  • ISBN
    • 1860940080
    • 1860940188
  • Country Code
    uk
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    London
  • Pages/Volumes
    xi, 242 p.
  • Size
    22 cm
Page Top