Cover Image

Verification of sequential and concurrent programs /

Show other versions (4)
Bibliographic Details
Main Author: Apt, Krzysztof R., 1949-
Other Authors: Olderog, E.-R
Format: Book
Language:English
Published: New York : Springer-Verlag, [1991]
Series:Texts and monographs in computer science.
Subjects:
Computer software > Verification.
Description
Physical Description:xvi, 441 pages ; 25 cm.
Bibliography:Includes bibliographical references and indexes.
ISBN:0387975322 (Springer-Verlag New York Berlin Heidelberg)
3540975322 (Springer-Verlag Berlin Heidelberg New York)