Refinement in Z and object-Z : foundations and advanced applications

Author(s)

    • Derrick, John
    • Boiten, Eerke

Bibliographic Information

Refinement in Z and object-Z : foundations and advanced applications

John Derrick and Eerke Boiten

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

Springer-Verlag, c2001

Available at  / 1 libraries

Search this Book/Journal

Note

Includes bibliographical references (p. [449]-460) and index

Related Books: 1-1 of 1

Details

  • NCID
    BA52678340
  • ISBN
    • 185233245X
  • Country Code
    uk
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    London
  • Pages/Volumes
    xviii, 466 p.
  • Size
    24 cm
  • Parent Bibliography ID
Page Top