Temporal verification of reactive systems. 2. Safety

Zohar Manna
Bok · Engelsk · 1995

Utgitt	New York : Springer , c1995
Omfang	xviii, 512 s.
Emner	Computer software - Verification. Electronic digital computers - Programming Logic, Symbolic and mathematical Parallel processing (Electronic computers) Vis mer... Parallell programmering Reaktive systemer Verifikasjon parallell programmering
Dewey	005.2
ISBN	0387944591