Treffer: Verification of sequential and concurrent programs

Titel:

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

Verantwortlich:

Ausgabe:

2. ed.

Veröffentlicht:

New York, NY [u.a.] : Springer, 1997

Umfang:

XVII, 364 S.

Publikationstyp:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Graduate texts in computer science

RVK-Notation:

Schlagworte:

ISBN:

0387948961

Zusatz-Informationen