The Vienna development method : the meta-language

Bibliographic Information

The Vienna development method : the meta-language

edited by D. Bjørner and C.B. Jones

(Lecture notes in computer science, 61)

Springer-Verlag, 1978

  • : gw
  • : us

Other Title

Meta-language

Available at  / 46 libraries

Search this Book/Journal

Note

Bibliography: p. [375]-382

Related Books: 1-1 of 1

Details

  • NCID
    BA03623590
  • ISBN
    • 3540087664
    • 0387087664
  • LCCN
    78007232
  • Country Code
    gw
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Berlin ; New York
  • Pages/Volumes
    xv, 382 p.
  • Size
    25 cm
  • Classification
  • Subject Headings
  • Parent Bibliography ID
Page Top