Result: Verification of sequential and concurrent programs

*Title*:

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

*Author/editor-in-chief*:

*Publication*:

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

*Physical description scale*:

XVI, 441 S.

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Texts and monographs in computer science

*Notes*:

Literaturangaben

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

3540975322 ; 0387975322

*L1_Classifications*:

*Result*: Verification of sequential and concurrent programs