Treffer: Model checking

Titel:

Model checking / Edmund M. Clarke, Orna Grumberg, and Doron A. Peled

Beteiligt:

Veröffentlicht:

Cambridge, MA [u.a.] : MIT Press, 1999

Umfang:

XIV, 314 S. : graph. Darst.

Publikationstyp:

Buch

Sprache:

Englisch

RVK-Notation:

Schlagworte:

ISBN:

0262032708 ; 9780262032704

Zusatz-Informationen