|
|
|
|
| LEADER |
00891nam a2200229 a 4500 |
| 001 |
911156 |
| 005 |
20171111231349.0 |
| 008 |
080825s2004 w er 000 0 eng d |
| 020 |
|
|
|a 3540213775
|
| 040 |
|
|
|a TEIK
|b gre
|
| 082 |
|
0 |
|a 005.131
|
| 100 |
1 |
|
|a Boiten, Eerke A.
|
| 110 |
2 |
|
|a IFM
|
| 245 |
1 |
0 |
|a Integrated formal methods:
|b 4th international conference, IFM 2004, Canterbury, UK, April 4- 7, 2004: proceedings/
|c Eerke A. Boiten, John Derrick, Graeme Smith (επιμ.)
|
| 260 |
|
|
|a Berlin:
|b Springer,
|c c2004
|
| 300 |
|
|
|a xi, 540 σ. :
|b εικ. ;
|c 23 εκ.
|
| 490 |
0 |
2 |
|a Lecture notes in computer science
|v 2999
|
| 504 |
|
|
|a Περιέχει βιβλιογραφία και ευρετήριο
|
| 650 |
1 |
0 |
|a Formal methods (Computer science)
|x Congresses
|
| 700 |
1 |
|
|a Derrick, John
|
| 700 |
1 |
|
|a Smith, Graeme
|
| 952 |
|
|
|a GRThAnMak
|b 59cc8f1a6c5ad13446fee56c
|c 998a
|d 945l
|e 005.131 INT
|t 1
|x m
|z Books
|
