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

The Vienna Development Method: The Meta-Language

種類:
電子ブック
責任表示:
edited by Dines Bjørner, Cliff B. Jones
出版情報:
Berlin, Heidelberg : Springer-Verlag, 1978
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 61
ISBN:
9783540358367 [3540358366]  CiNii Books  Calil
ローカル注記:
岐阜大学構成員専用E-BOOKS (Gifu University members only)
オンライン
http://dx.doi.org/10.1007/3-540-08766-4
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Formal Methods in Programming and Their Applications : International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V., SpringerLink (Online service)

Springer-Verlag
7 電子ブック Logic, Language and Computation : Festschrift in Honor of Satoru Takasu

Jones, Neil D., Hagiya, Masami, Sato, Masahiko, SpringerLink (Online service)

Springer-Verlag
2 図書 The Vienna development method : the meta-language

Bjørner, D. (Dines), 1937-, Jones, Cliff B., 1944-

Springer-Verlag
8 電子ブック Logic Program Synthesis and Transformation — Meta-Programming in Logic : 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 …

Fribourg, Laurent, Turini, Franco, SpringerLink (Online service)

Springer-Verlag
3 電子ブック Programming Languages and Their Definition : H. Bekič (1936–1982)

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

Springer-Verlag
9 電子ブック ESOP '90 : 3rd European Symposium on Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings

Jones, Neil, SpringerLink (Online service)

Springer-Verlag
4 電子ブック The Vienna Development Method: The Meta-Language

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

Springer Berlin Heidelberg : Imprint: Springer
10 電子ブック Automata, Languages and Programming : 11th Colloquium Antwerp, Belgium, July 16–20, 1984

Paredaens, Jan, SpringerLink (Online service)

Springer-Verlag
5 電子ブック Perspectives of System Informatics : Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V., SpringerLink (Online service)

Springer-Verlag
11 電子ブック Automata, Languages and Programming : 13th International Colloquium Rennes, France, July 15–19, 1986 Proceedings

Kott, Laurent, SpringerLink (Online service)

Springer-Verlag
6 電子ブック The Generic Development Language Deva : Presentation and Case Studies

Weber, Matthias, Simons, Martin, Lafontaine, Christine, SpringerLink (Online service)

Springer-Verlag
12 電子ブック Automatic Verification Methods for Finite State Systems : International Workshop, Grenoble, France June 12–14, 1989 Proceedings

Sifakis, Joseph, SpringerLink (Online service)

Springer-Verlag