|
|
|
|
| LEADER |
00732nam a2200193 a 4500 |
| 001 |
496976 |
| 005 |
20171111225924.0 |
| 008 |
970904s1996 enka b 001 0 eng d |
| 020 |
|
|
|a 0123490405
|
| 050 |
1 |
4 |
|a QA76.27
|b .T73 1996
|
| 245 |
1 |
4 |
|a Teaching and learning formal methods /
|c edited by C. Neville Dean and Michael G. Hinchey.
|
| 260 |
1 |
4 |
|a London :
|b Academic Press,
|c 1996.
|
| 300 |
1 |
4 |
|a xvi, 285 p. :
|b ill. ;
|c 23 cm.
|
| 504 |
1 |
4 |
|a Includes bibliographical references and index.
|
| 650 |
1 |
4 |
|a Computer science
|x Study and teaching.
|
| 650 |
1 |
4 |
|a Electronic data processing
|x Study and teaching
|
| 700 |
1 |
4 |
|a Dean, Neville C.
|
| 700 |
1 |
4 |
|a Hinchey, Michael G.
|
| 952 |
|
|
|a GrThPMO
|b 59afe0a46c5ad17d7e59ee50
|c 952a
|d 9528
|e QA76.27.T73 1996
|t 7
|x m
|z Books
|
