>> Amazon.co.jp
このページのQRコード

The Vienna development method : the meta-language

種類:
図書
責任表示:
edited by D. Bjørner and C.B. Jones
出版情報:
Berlin ; New York : Springer-Verlag, 1978
著者名:
シリーズ名:
Lecture notes in computer science ; 61 <BA00009279>
ISBN:
9783540087663 [3540087664] (: gw)  CiNii Books  Calil
9780387087665 [0387087664] (: us)  CiNii Books  Calil
注記:
Bibliography: p. [375]-382
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック The Vienna Development Method: The Meta-Language

Bjørner, Dines, Jones, Cliff B., SpringerLink (Online service)

Springer-Verlag
7 図書 Elements of ML programming

Ullman, Jeffrey D., 1942-

Prentice Hall
2 電子ブック The Vienna Development Method: The Meta-Language

Bjorner, D., Jones, C.B., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 図書 Elements of ML programming

Ullman, Jeffrey D., 1942-

Prentice Hall
3 電子ブック VDM '87 VDM — A Formal Method at Work : VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

Bjørner, Dines, Jones, Cliff B., Mac an Airchinnigh, Mícheál, Neuhold, Erich J., SpringerLink (Online service)

Springer-Verlag
9 図書 Formal methods in programming and their applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings

Bjørner, D. (Dines), 1937-, Broy, M., 1949-, Pottosin, I. V.

Springer-Verlag
4 図書 VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, proceedings

VDM-Europe Symposium, Bjørner, D. (Dines), 1937-, Hoare, C. A. R. (Charles Antony Richard), 1934ー, Langmaack, Hans

Springer-Verlag
10 図書 Programming languages and their definition

Bekič, H. (Hans), 1936-1982, Jones, C. B. (Cliff B.), 1944-

Springer-Verlag
5 電子ブック VDM '87. VDM - A Formal Method at Work : VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings

Bjørner, Dines., Jones, Cliff., Mac An Airchinnigh, Michael., Neuhold, Erich J., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
11 図書 VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings

VDM-Europe Symposium, Bjørner, Dines, 1937-

Springer-Verlag
6 図書 New methods in language processing

Jones, D. B. (Daniel B.), 1961-, Somers, H. L.

UCL Press
12 図書 Towards a formal description of Ada

Oest, O. N., Bjørner, D. (Dines), 1937-

Springer-Verlag