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

>> Google Books

QRコード(所蔵情報)

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. : ill. ; 25 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 239 <BA00009279>

書誌ID:

BA0038542X

ISBN:

9783540168164 [3540168168] (: gw)

9780387168166 [0387168168] (: us)

子書誌情報

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

主題:	プログラミング用言語; 電子計算機
分類・件名:	LCC : QA76.7 DDC : 005.13/1 NDC8 : 007.64 LCSH : Programming languages (Electronic computers) -- Semantics -- Congresses LCSH : Electronic digital computers -- Programming -- Congresses NDLSH : プログラミング用言語 NDLSH : 電子計算機
LCCN:	86022054
注記:	Includes bibliographies
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Mathematical Foundations of Programming Semantics Melton Springer Berlin Heidelberg	7 図書 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, … Springer-Verlag
2 図書 Japan display '92 : proceedings of the 12th International Display Research Conference, Octber 12-14, 1992, International Conference Center Hiroshima, Hiroshima … International Display Research Conference, Society for Information Display, Institute of Television Engineers of Japan Society for Information Display	8 図書 Advances in cryptology : proceedings of EUROCRYPT 84, a Workshop on the Theory and Application of Cryptographic Techniques, Paris, France, April 9-11, 1984 EUROCRYPT, Beth, Thomas, 1949-, Cot, Norbert, 1945-, Ingemarsson, Ingemar, 1938- Springer-Verlag
3 電子ブック Mathematical Foundations of Programming Semantics Main Springer New York	9 図書 Proceedings of the International Conference on Prospects in Mathematics, April, 1973 International Conference on Prospects in Mathematics, Taniguchi Kōgyō Shōreikai, 京都大学数理解析研究所 Research Institute for Mathematical Sciences, Kyoto University
4 電子ブック Mathematical Foundations of Programming Semantics Brookes Springer Berlin Heidelberg	10 電子ブック Mathematical Foundations of Programming Language Semantics Main Springer Berlin Heidelberg
5 電子ブック Mathematical Foundations of Programming Semantics Brookes Springer Berlin Heidelberg	11 図書 Japan display '83 : proceedings of the 3rd International Display Research Conference, October 3-5, 1983, International Conference Center Kobe, Port Island, Kobe Society for Information Display, Institute of Television Engineers of Japan, International Display Research Conference Society for Information Display
6 図書 Second International Conference on Computer-Aided Production Engineering, Edinburgh, April 1987 International Conference on Computer-Aided Production Engineering, McGeough, J. A., University of Edinburgh. Department … Published by Mechanical Engineering Publications for the Institution of Mechanical Engineers	12 図書 Japan display '89 : Proceedings of the 9th International Display Research Conference, October 16-18, 1989, Kyoto Park Hotel, East-side, Kyoto International Display Research Conference, Society for Information Display, Institute of Television Engineers of Japan Society for Information Display