Temporal verification of reactive systems. 1. Specification

Zohar Manna
Bok · Engelsk · 1992

Utgitt	New York : Springer , c1992
Omfang	xiv, 427 s.
Emner	Electronic digital computers - Programming Logic, Symbolic and mathematical Parallell programmering Reaktive systemer Vis mer... Sanntidssystemer Symbolsk logikk Tidslogikk parallell programmering
ISBN	0387976647. - 3540976647