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

Formalization of programming concepts : International Colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings

種類:
図書
責任表示:
edited by J. Díaz and I. Ramos
出版情報:
Berlin ; New York : Springer-Verlag, 1981
著者名:
シリーズ名:
Lecture notes in computer science ; 107 <BA00009279>
ISBN:
9783540106999 [3540106995] (: gw)  CiNii Books  Calil
9780387106991 [0387106995] (: us)  CiNii Books  Calil
注記:
Includes bibliographies and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Formalization of Programming Concepts : International Colloquium Peniscola, Spain, April 19–25, 1981 Proceedings

Díaz, J., Ramos, I., SpringerLink (Online service)

Springer-Verlag
7 図書 Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings

International Conference on the Mathematics of Program Construction, Bird, R. S. (Richard Simpson), 1943-, Morgan, C. C. &hellip;

Springer-Verlag
2 電子ブック Formalization of Programming Concepts : International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings

Diaz, J., Ramos, I., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 図書 Control flow and data flow : concepts of distributed programming : international summer school

NATO Advanced Study Institute on Control Flow and Data Flow : Concepts of Distributed Programming, Broy, M., 1949-

Springer-Verlag
3 図書 International Symposium on Programming : 6th colloquium, Toulouse, April 17-19, 1984 : proceedings

International symposium on programming, Paul, Manfred, 1932-, Robinet, Bernard, 1941-

Springer-Verlag
9 図書 Programming Symposium : proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974

Programming Symposium, Robinet, Bernard, 1941-

Springer-Verlag
4 図書 International symposium on programming : 5th colloquium, Turin, April 6-8, 1982, proceedings

International symposium on programming, Dezani-Ciancaglini, Mariangiola, Montanari, U. (Ugo)

Springer-Verlag
10 電子ブック TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989 : Volume 2: …

Diaz, Josep., Orejas, Fernando., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
5 図書 International Symposium on Programming : proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980

Robinet, Bernard, 1941-, International symposium on programming

Springer-Verlag
11 電子ブック TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 : Volume 1: …

Diaz, Josep., Orejas, Fernando., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
6 図書 Operating systems : proceedings of an international symposium held at Rocquencourt, April 23-25, 1974

Gelenbe, Erol, 1945-, Kaiser, C., Institut de recherche d'informatique et d'automatique

Springer-Verlag
12 図書 Programming languages and systems -- ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings

European Symposium on Programming, Nielson, Hanne Riis, 1954-

Springer-Verlag