Bibliographic Information

On the refinement calculus

edited by Carroll Morgan and Trevor Vickers

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

Springer-Verlag, 1994

  • : us
  • : gw

Available at  / 14 libraries

Search this Book/Journal

Note

Includes bibliographical references

Related Books: 1-1 of 1

Details

  • NCID
    BA21561247
  • ISBN
    • 0387198091
    • 3540198091
  • Country Code
    uk
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    London
  • Pages/Volumes
    159 p.
  • Size
    25 cm
  • Classification
  • Subject Headings
  • Parent Bibliography ID
Page Top