|
|
|
|
| LEADER |
01215nam a2200265 a 4500 |
| 001 |
c000172013 |
| 003 |
CARM |
| 005 |
20010630210311.0 |
| 008 |
880809s1985 caud b 000 0 eng d |
| 019 |
1 |
|
|a 22794087
|5 LACONCORD2021
|
| 035 |
|
|
|a (OCoLC)18333580
|5 LACONCORD2021
|
| 040 |
|
|
|a EEM
|b eng
|c EEM
|d CStRLIN
|d VU
|
| 100 |
1 |
|
|a Guessarian, Irène,
|d 1948-
|
| 245 |
1 |
0 |
|a On the axiomatization of "if-then-else" /
|c by Irène Guessarian and José Meseguer.
|
| 260 |
|
|
|a Stanford, CA :
|b Center for the Study of Language and Information, Stanford University,
|c c1985.
|
| 300 |
|
|
|a 38 p. :
|c charts ;
|c 28 cm.
|
| 490 |
1 |
|
|a Report / Center for the Study of Language and Information ;
|v no. CSLI-85-20.
|
| 504 |
|
|
|a Bibliography: p. 34-35.
|
| 650 |
|
0 |
|a Formal languages
|x Semantics.
|
| 650 |
|
0 |
|a Programming languages (Electronic computers)
|x Semantics.
|
| 700 |
1 |
0 |
|a Mesaguer, José.
|
| 830 |
|
0 |
|a Report (Center for the Study of Language and Information (U.S.)) ;
|v no. CSLI-85-20.
|
| 852 |
8 |
|
|b CARM
|h A2:AN10E0
|i D05666
|p 0199152
|f BK
|
| 999 |
f |
f |
|i c01fa55b-3c74-5f23-a30c-ff2d70240c29
|s 3d5294e1-3312-5795-9fc3-a7fe8739b20e
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e D05666
|f A2:AN10E0
|h Other scheme
|i book
|m 0199152
|