FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS
Wedi'i Gadw mewn:
| Prif Awdur: | |
|---|---|
| Fformat: | Llyfr |
| Cyhoeddwyd: |
NEW YORK
MCGRAW HILL
1994
|
| Tagiau: |
Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
MARC
| LEADER | 00000nam a2200000Ia 4500 | ||
|---|---|---|---|
| 100 | |a MILNE GEORGE | ||
| 250 | |||
| 020 | |||
| 245 | |a FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS | ||
| 260 | |b MCGRAW HILL |a NEW YORK |c 1994 | ||
| 082 | |a R621.381 | ||
| 300 | |a xi , 256 | ||
| 952 | |0 0 |1 0 |4 0 |6 R_621_381000000000000 |7 0 |9 40677 |a 00000044 |b 00000044 |d 2011-05-23 |g 1839.29 |l 0 |o R621.381 |p 26173 |r 2017-05-16 00:00:00 |w 2017-05-16 |y BK | ||
| 999 | |c 16565 |d 16565 | ||