|
|
|
|
| LEADER |
01051nam a22002771 4500 |
| 001 |
1/11833 |
| 008 |
971216s1997 enk 001 0 eng d |
| 020 |
|
|
|a 3540625038
|
| 035 |
|
|
|l 12197
|
| 040 |
|
|
|a DLC
|b GR-PeUP
|
| 082 |
0 |
0 |
|a 005.131 AN
|
| 245 |
0 |
0 |
|a Analysis and verification of multiple-agent languages (5th:Stockholm, Sweden:1996), June 24-26 1996:
|b workshop, selected papers/
|c edited by Mads Dam.
|
| 260 |
|
|
|a Berlin:
|b Springer,
|c 1997.
|
| 300 |
|
|
|a 435p.;
|c 22 cm.
|
| 490 |
1 |
|
|a Lecture Notes in Computer Science ;
|
| 500 |
|
|
|a Index.
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 650 |
|
4 |
|a Programming languages.
|
| 650 |
|
4 |
|a Hybrid systems.
|
| 650 |
|
4 |
|a Software development.
|
| 650 |
|
4 |
|a Logic Programming.
|
| 700 |
1 |
|
|a Dam, Mads,
|e ed.
|
| 830 |
|
|
|a Lecture Notes in Computer Science ;
|v 1192
|
| 852 |
|
|
|a INST
|b UNIPILB
|c MAIN
|e 20040709
|h 005.131 AN
|p 00127375
|q 00127375
|t LOAN
|y 0
|4 1
|
| 852 |
|
|
|a INST
|b UNIPILB
|c MAIN
|e 20040709
|h 005.131 AN
|p 00127404
|q 00127404
|t LOAN
|y 4
|x 20040519
|4 1
|
| 856 |
4 |
|
|d /webopac/covers/01/12197_3540625038.jpg
|
