>> Google Books
タイトル、所在を表示します

Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings

フォーマット:
図書
責任表示:
edited by Austin Melton
言語:
英語
出版情報:
Berlin ; New York : Springer-Verlag, c1986
形態:
vi, 395 p. ; 25 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 239 <BA00009279>
書誌ID:
BA0038542X
ISBN:
9783540168164 [3540168168] (: gw)
9780387168166 [0387168168] (: us)
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Mathematical foundations of programming semantics : 9th International Conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings

Conference on the Mathematical Foundations of Programming Semantics, Brookes, Stephen D.

Springer-Verlag
7 図書 Programming languages and systems : 12th European Symposium on Programming, ESOP 2003, held as part of the Joint European Conferences on Theory and Practice of …

European Symposium on Programming, European Conferences on Theory and Practice of Software, Degano, Pierpaolo, 1950-

Springer
2 図書 Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989, …

International Conference on the Mathematical Foundation of Programming Semantics, Main, Michael, 1956-

Springer-Verlag
8 図書 Programming Languages and Systems : 11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of …

European Symposium on Programming, Le Métayer, D. (Daniel), European Conferences on Theory and Practice of Software

Springer
3 図書 Mathematical foundations of programming semantics : 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings

Brookes, Stephen D., Conference on the Mathematical Foundations of Programming Semantics

Springer-Verlag
9 図書 Mathematics of program construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings

International Conference on the Mathematics of Program Construction, Kozen, Dexter

Springer
4 図書 Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings

Main, Michael, 1956-, Workshop on the Mathematical Foundations of Programming Language Semantics

Springer-Verlag
10 図書 Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003, held as part of the Joint European Conferences on …

FOSSACS, European Conferences on Theory and Practice of Software, Gordon, Andrew D.

Springer
5 図書 Immunobiology, autoimmunity and transplantation in otorhinolaryngology : proceedings of the 1st International Academic Conference in immunobiology and …

International Academic Conference Immunobiology in Otology, Rhinology, and Laryngology

Kugler Publications
11 図書 Foundations of software technology and theoretical computer science : fourth conference, Bangalore, India, Dec. 13-15, 1984 : proceedings

Conference on Foundations of Software Technology and Theoretical Computer Science, Joseph, Mathai, 1943-, Shyamasundar, &hellip;

Springer-Verlag
6 図書 Functional programming languages and computer architecture : 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings

Hughes, John, 1958-, ACM Special Interest Group in Programming Languages, Conference on Functional Programming Languages &hellip;

Springer-Verlag
12 図書 Foundations of Software Science and Computation Structures : 5th International Conference, FOSSACS 2002, held as part of the Joint European Conferences on …

FOSSACS, Nielsen, M. (Mogens), 1949-, Engberg, Uffe, European Conferences on Theory and Practice of Software

Springer