Treffer: Verification of sequential and concurrent programs

Titel:

Verification of sequential and concurrent programs / Krzysztof R. Apt ; Ernst-Rüdiger Olderog

Verantwortlich:

Veröffentlicht:

New York [u.a.] : Springer, 1991

Umfang:

XVI, 441 S.

Publikationstyp:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Texts and monographs in computer science

Anmerkungen:

Literaturangaben

RVK-Notation:

Schlagworte:

ISBN:

3540975322 ; 0387975322

Lokale Klassifikationen:

Zusatz-Informationen