>> Google Books
所蔵情報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
形態:
vii, 478 p. ; 25 cm
シリーズ名:
Lecture notes in computer science ; 107 <BA00009279>
著者名:
ISBN:
9780387106991 [0387106995] (: us)
9783540106999 [3540106995] (: gw)
書誌ID:
BA03650775
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

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

Springer-Verlag

International Colloquium on Automata, Languages and Programming, European Association for Theoretical Computer Science, …

Springer-Verlag

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

Springer-Verlag

Robinet, Bernard, 1941-, International symposium on programming

Springer-Verlag

International Symposium on Operating Systems, Gelenbe, Erol, 1945-, Kaiser, C., Institut de recherche d'informatique et …

Springer-Verlag

IFIP Working Conference on Formal Description of Programming Concepts, Wirsing, M. (Martin), IFIP Technical Committee …

North-Holland Pub. Co.

International Workshop on High-Level Programming Models and Supportive Environments, Hellwagner, Hermann, IEEE Computer …

IEEE Computer Society Press

International Colloquium on Automata, Languages and Programming, Díaz, Josep, 1950-, Karhumäki, J, Lepistö, Arto, …

Springer

International Workshop on Natural Language Understanding and Logic Programming, Dahl, Veronica, 1950-, Saint-Dizier, …

North-Holand, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.

IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods, Broy, M., 1949-, Jones, Cliff B., …

North-Holland, Elsevier Science Pub. Co., distributors for the U.S. and Canada

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

Springer-Verlag

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12