The Object-Z specification language

Author(s)

    • Smith, Graeme

Bibliographic Information

The Object-Z specification language

by Graeme Smith

（Advances in formal methods / series editor, Michael Hinchey, 1）

Kluwer Academic, c2000

Available at  / 9 libraries

Search this Book/Journal

Note

Includes bibliographical references & index

Related Books： 1-1 of 1

Details

  • NCID
    BA46489900
  • ISBN
    • 0792386841
  • Country Code
    us
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Boston ; Dordrecht ; London
  • Pages/Volumes
    xiii, 146 p.
  • Size
    25 cm
  • Parent Bibliography ID
Page Top