The Vienna development method : the Meta-language / edited by D. Bjørner and C. B. Jones. (Lecture notes in computer science ; 61)

The Vienna development method : the Meta-language / edited by D. Bjørner and C. B. Jones.

(Lecture notes in computer science ; 61)

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
ISBN (error code): 0387087666
Title: The Vienna development method : the Meta-language / edited by D. Bjørner and C. B. Jones.
Series Title: Lecture notes in computer science ; 61
Author Heading: Bjørner, D. (Dines) , 1937-
Jones, C. B. (Cliff B.) , 1944-
Publication, Distribution, etc.: Berlin : Springer-Verlag
New York : Springer-Verlag
Publication Date: 1978.
Publication Date (W3CDTF): 1978
Extent: xv, 382 p. ; 25 cm.
Alternative Title: Meta-language.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: ML (Computer program language)
LCC: QA76.7
DDC: 001.6/424
NDLC: M159
Note (Bibliography): Bibliography: p. [375]-382.
Holding library: 国立国会図書館
Call No.: M159-77
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006134757
http://id.ndl.go.jp/bib/000006134757
LC Control Number: 78007232 //r883
https://lccn.loc.gov/78007232
Bibliographic Record Category (NDL): 211