The Vienna Development Method: The Meta-Language. 1st ed. 1978
- 種類:
- 電子ブック
- 責任表示:
- edited by D. Bjorner, C.B. Jones
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1978
- 著者名:
- シリーズ名:
- Lecture Notes in Computer Science ; 61
- ISBN:
- 9783540358367 [3540358366]
- 注記:
- On the formalization of programming languages: Early history and main approaches -- Programming in the meta-language: A tutorial -- The meta-language: A reference manual -- Denotational semantics of goto: An exit formulation and its relation to continuations -- A formal definition of ALGOL 60 as described in the 1975 modified report -- Software abstraction principles: Tutorial examples of an operating system command language specification and a PL/I-like on-condition language definition -- References & bibliography.
- ローカル注記:
- 学内専用E-BOOKS (local access only)
類似資料:
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer-Verlag |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
10
電子ブック
ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |