Cover Image

Systems and software verification : model-checking techniques and tools /

Show other versions (1)
Bibliographic Details
Other Authors: Bérard, Béatrice
Format: Book
Language:English
Published: Berlin ; New York : Springer, [2001]
Subjects:
Computer systems > Verification.
Computer software > Verification.
Description
Physical Description:xii, 190 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references (pages [179]-182).
ISBN:3540415238 (alk. paper)