Treffer: Verification of sequential and concurrent programs

Titel:

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

Verantwortlich:

Ausgabe:

3., extend. ed.

Veröffentlicht:

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

Umfang:

XXIII, 502 S.

Publikationstyp:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Texts in computer science

RVK-Notation:

Schlagworte:

ISBN:

9781848827448

Zusatz-Informationen