Automatic verification of programs with complex data structures /
Gorde:
| Egile nagusia: | |
|---|---|
| Formatua: | Liburua |
| Hizkuntza: | English |
| Argitaratua: |
New York :
Garland Pub.,
1980.
|
| Saila: | Outstanding dissertations in the computer sciences
|
| Gaiak: |
CARM 1 Store
| Sailkapena: |
A2:AI32A0 B04425 |
|---|---|
| Alea 1 | Eskuragarri Erreserbatu |