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
Book/TextUse in library QA76.7.V53Off-site

Holdings

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
ML (Computer program language)
Bibliography (note)
  • Bibliography: p. [375]-382.
ISBN
0387087666
LCCN
78007232 //r883
OCLC
  • ocm03843153
  • SCSB-242114
Owning Institutions
Princeton University Library