|
|
|
|
| LEADER |
01604nam a2200313 a 4500 |
| 001 |
c000161597 |
| 003 |
CARM |
| 005 |
19901008000000.0 |
| 008 |
900605s1990 wb a b 100 0 eng |
| 019 |
1 |
|
|a 7390968
|z 40719327
|z 45163830
|5 LACONCORD2021
|
| 020 |
|
|
|a 0387973753
|
| 020 |
|
|
|a 3540973753
|z 0387527907 (Springer-Verlag New York Berlin Heidelberg : alk. paper)
|
| 035 |
|
|
|a (OCoLC)21902133
|5 LACONCORD2021
|
| 040 |
|
|
|a LC
|b eng
|c LC
|
| 050 |
0 |
0 |
|a QA76.7
|b .M38 1990
|
| 082 |
0 |
0 |
|a 005.13/1
|2 20
|
| 245 |
0 |
0 |
|a Mathematical foundations of programming semantics :
|b 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings /
|c M. Main ... [et al.], eds.
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer-Verlag,
|c c1990.
|
| 300 |
|
|
|a vi, 439 p. :
|b ill. ;
|c 25 cm.
|
| 440 |
|
0 |
|a Lecture notes in computer science ;
|v 442.
|
| 500 |
|
|
|a Proceedings of the Fifth International Conference on the Mathematical Foundations of Programming Semantics.
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 650 |
|
0 |
|a Programming languages (Electronic computers)
|x Sematics
|x Congresses.
|
| 650 |
|
0 |
|a Computer science
|x Mathematics
|x Congresses.
|
| 700 |
1 |
|
|a Main, M.
|q (Michael),
|d 1956-
|
| 710 |
2 |
|
|a International Conference on the Mathematical Foundation of Programming Semantics
|n (5th :,
|d 1989 :
|c Tulane University)
|
| 852 |
8 |
|
|b CARM
|h A2:AL17F0
|i C05334
|p 0213195
|f BK
|
| 999 |
f |
f |
|i daef15ae-a76f-5e9b-8a62-4bfcfbdcd730
|s 4bfe55f5-a97e-55d6-bd55-e5fff8675a86
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C05334
|f A2:AL17F0
|h Other scheme
|i book
|m 0213195
|