Formal specification using Z

Author(s)

    • Lightfoot, David

Bibliographic Information

Formal specification using Z

David Lightfoot

（Macmillan computer science series）

Macmillan, 1991

Available at  / 1 libraries

Search this Book/Journal

Note

Includes index

Related Books： 1-1 of 1

Details

  • NCID
    BB26211148
  • ISBN
    • 0333544080
  • Country Code
    uk
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Basingstoke
  • Pages/Volumes
    xi,164p
  • Size
    24cm
  • Classification
  • Parent Bibliography ID
Page Top