Research Catalog

The Vienna development method : the Meta-language /

Title
The Vienna development method : the Meta-language / edited by D. Bjørner and C. B. Jones.
Publication
Berlin ; New York : Springer-Verlag, 1978.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
Not available - Please for assistance.
TextUse in library QA76.7.V53Off-site

Details

Additional Authors
  • Bjørner, D. (Dines), 1937-
  • Jones, C. B. (Cliff B.), 1944-
Description
xv, 382 p.; 25 cm.
Series Statement
Lecture notes in computer science ; 61
Alternative Title
Meta-language.
Subject
Bibliography (note)
  • Bibliography: p. [375]-382.
ISBN
0387087666
LCCN
78007232 //r883
Owning Institutions
Princeton University Library