Treffer: Systems and software verification

Titel:

Systems and software verification : model-checking techniques and tools / B. Bérard ...

Verantwortlich:

Bérard, Béatrice

Veröffentlicht:

Berlin [u.a.] : Springer, 2001

Umfang:

XII, 190 S. : Ill., graph. Darst. ; 24 cm

Publikationstyp:

Buch

Sprache:

Englisch

RVK-Notation:

Schlagworte:

ISBN:

3540415238

Zusatz-Informationen