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
|