Constructing programs from specifications : proceedings of the IFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications, Pacific Grove, CA, USA, 13-16 May, 1991 /
| Άλλοι συγγραφείς: | IFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications, Moller, B., 1953- |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Στοιχεία έκδοσης: |
Amsterdam :
North-Holland,
1991
|
| Ταξινομικός αριθμός: |
005.1 CO |
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| LEADER | 00890nam a22001931 4500 | ||
|---|---|---|---|
| 001 | 1/18380 | ||
| 008 | 011214s1991 enk 1 eng d | ||
| 020 | |a 0444891846 | ||
| 035 | |l 18920 | ||
| 040 | |a DLC |b GR-PeUP | ||
| 082 | 0 | 0 | |a 005.1 CO |
| 111 | 2 | |a IFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications |d (1991 : |c Pacific Grove, Calif.) | |
| 245 | 1 | 0 | |a Constructing programs from specifications : |b proceedings of the IFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications, Pacific Grove, CA, USA, 13-16 May, 1991 / |c edited by B. Moller |
| 260 | |a Amsterdam : |b North-Holland, |c 1991 | ||
| 300 | |a x, 515 p. ; |c 24 cm. | ||
| 504 | |a Includes bibliographical references and index | ||
| 650 | 4 | |a Electronic digital computers |x Programming. | |
| 700 | 1 | |a Moller, B., |d 1953- |e ed. | |
| 852 | |a INST |b UNIPILB |c MAIN |e 20040709 |h 005.1 CO |p 00137831 |q 00137831 |t LOAN |y 0 |4 1 | ||