Cover Image

Model checking /

Show other versions (1)
Bibliographic Details
Main Author: Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020
Other Authors: Grumberg, Orna, Peled, Doron A., 1962-
Format: Book
Language:English
Published: Cambridge, Mass. : MIT Press, [1999]
Subjects:
Computer systems > Verification.
Description
Physical Description:xiv, 314 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references (pages [297]-307) and index.
ISBN:0262032708 (alk. paper)