A programming approach to formal methods /
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
London :
McGraw-Hill,
c1994.
|
| Series: | McGraw-Hill international series in software engineering
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 005 | 20240602094658.0 | ||
| 008 | 010525s19uu xx 00 eng d | ||
| 020 | |a 007707968X | ||
| 100 | |a Casey, Chris. | ||
| 245 | 2 | |a A programming approach to formal methods / |c Chris Casey. | |
| 260 | |a London : |b McGraw-Hill, |c c1994. | ||
| 300 | |a xii, 262 p. ; |c 25 cm. | ||
| 440 | |a McGraw-Hill international series in software engineering | ||
| 500 | |a Includes index. | ||
| 504 | |a Bibliography: p. 257. | ||
| 526 | |a Recommended text : *MA469 (Maths & Computer Science) | ||
| 650 | |a Computer software. | ||
| 650 | |a Programming (Electronic computers). | ||
| 942 | |2 ddc |c BK |0 1 | ||
| 999 | |c 1342 |d 1342 | ||
| 952 | |0 0 |1 0 |2 ddc |4 0 |7 0 |8 SR |a ML015 |b ML015 |c SR |d 2019-04-15 |e Great Pacific |g 48.10 |l 1 |o SR 005.3 C338 |p 137784 |r 2023-03-02 00:00:00 |s 2023-03-02 |w 2017-05-09 |y 2HRSR |z Recat. | ||