Categorical methods in computer science : with aspects from topology /
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
Berlin :
Springer-Verlag,
c1989.
|
| Series: | Lecture notes in computer science ;
393. |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 01248pam a2200289 a 4500 | ||
|---|---|---|---|
| 001 | vtls000116202 | ||
| 003 | UPM | ||
| 005 | 20161023205047.0 | ||
| 008 | 901126s1989 gw a b 10000 eng | ||
| 010 | |a 89-21832 | ||
| 020 | |a 0387517227 | ||
| 039 | 9 | |a 200804190855 |b VLOAD |y 200110271116 |z load | |
| 040 | |c UPM | ||
| 090 | 0 | 0 | |a QA75.5 I61 1988 |
| 110 | 2 | |a International Workshop on Categorical Methods in Computer Science with Aspects from Topology ( |d 1988 : |c Berlin, Germany). | |
| 245 | 1 | 0 | |a Categorical methods in computer science : |b with aspects from topology / |c H. Ehrig ... [et al.], eds. |
| 260 | |a Berlin : |b Springer-Verlag, |c c1989. | ||
| 300 | |a 349p. : |b ill. ; |c 25cm. | ||
| 440 | 0 | |a Lecture notes in computer science ; |v 393. | |
| 500 | |a Papers presented at the International Workshop on Categorical Methods in Computer Science with Aspects from Topology, held 1988 in Berlin. | ||
| 650 | 0 | |a Computer science |x Congresses. | |
| 650 | 0 | |a Categories (Mathematics) |x Congresses. | |
| 650 | 0 | |a Topology |x Congresses. | |
| 700 | 1 | |a Ehrig, Hartmut. | |
| 942 | |2 lcc |c 10000 | ||
| 999 | |c 498639 |d 498639 | ||
| 952 | |0 0 |1 0 |4 0 |6 QA00755 I61 01988 |7 0 |9 694573 |a 10000 |b 10000 |c 10000 |d 2016-10-23 |o QA75.5 I61 1988 |p 1000213602 |r 2016-10-23 |t 1 |w 2016-10-23 |y 10000 | ||