Higher order logic and hardware verification / T. Melham.
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge :
Cambridge University Press,
1993.
|
| Series: | Cambridge tracts in theoretical computer science ;
31 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 00652nam a2200169 a 4500 | ||
|---|---|---|---|
| 001 | 001075899 | ||
| 005 | 20180201122540.0 | ||
| 008 | 040922s1993 enk 000 eng d | ||
| 020 | |a 052141718X | ||
| 089 | |a 511.3 | ||
| 089 | |a 004.015113 | ||
| 100 | 1 | |a Melham, T. F. |q (Tom F.) | |
| 245 | 1 | 0 | |a Higher order logic and hardware verification / |c T. Melham. |
| 260 | |a Cambridge : |b Cambridge University Press, |c 1993. | ||
| 490 | 0 | |a Cambridge tracts in theoretical computer science ; |v 31 | |
| 952 | |0 0 |1 0 |4 0 |6 511_300000000000000_MEL |7 0 |9 683571 |a PILKINGTON |b PILKINGTON |c MAIN |d 2004-09-22 |g 31.60 |l 1 |o 511.3/MEL |p 0402932404 |r 2005-01-13 |w 2018-02-01 |y LONG | ||
| 999 | |c 419910 |d 419910 | ||