|
|
|
|
| LEADER |
00558cam a2200157 7i4500 |
| 001 |
0000049762 |
| 005 |
20060525090000.0 |
| 020 |
# |
0 |
|a 140204223X (e-book)
|
| 020 |
# |
0 |
|a 1402042221 (hbk.)
|
| 090 |
0 |
0 |
|a QA 76.9 F67
|b M6
|
| 245 |
0 |
0 |
|a Modern formal methods and applications
|c edited by Hossam A. Gabbar.
|
| 260 |
# |
# |
|a Dordrecht:
|b Springer,
|c 2006.
|
| 300 |
# |
# |
|a xxiii, 197 p.:
|b ill.;
|c 25 cm..
|
| 650 |
0 |
0 |
|a Formal methods (Computer science)
|
| 650 |
0 |
0 |
|a Formal methods (Computer science) --
|x Industrial applications
|
| 999 |
|
|
|a 1100041131
|b Book
|c Open Shelf
|e KOLEKSI TERBUKA
|
