Automatic verification of sequential infinite-state processes
Olaf Burkart
Bok Engelsk 1997
| Utgitt | Berlin : Springer , c1997
|
|---|---|
| Omfang | X, 163 s. : fig.
|
| Emner | (Matematikk)
Computer software - Verification Software engineering Bevisføring - Databehandling programverifikasjon |
| ISBN | 3540639829
|
