Treffer: Design and validation of computer protocols

Titel:

Design and validation of computer protocols / Gerard J. Holzmann

Verantwortlich:

Holzmann, Gerard J.

Ausgabe:

2. [Dr.]

Veröffentlicht:

London [u.a.] : Prentice-Hall, 1991

Umfang:

XII, 500 S. : graph. Darst.

Publikationstyp:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Prentice Hall software series

RVK-Notation:

Schlagworte:

ISBN:

0135398347

Zusatz-Informationen