Lanean...
Formal specification and verification of digital systems /
| Egile nagusia: | |
|---|---|
| Hizkuntza: | Undetermined |
| Argitaratua: |
London :
McGraw-Hill book co ,
1994.
|
University of Kerala
| Sailkapena: |
D6512 N41 |
|---|---|
| Alea | Egoera zuzenean ez dago erabilgarri |