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, [1997]
Edition:2nd ed.
Series:Graduate texts in computer science (Springer-Verlag New York Inc.)
Subjects:
Computer software > Verification.
Description
Physical Description:xvii, 364 pages ; 25 cm.
Bibliography:Includes bibliographical references (pages [343]-352) and indexes.
ISBN:0387948961 (hardcover : alk. paper)