Model checking /:

Annotation.

Saved in:
Bibliographic Details
Main Authors: Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020 (Author), Grumberg, Orna (Author), Peled, Doron A., 1962- (Author)
Format: Electronic eBook
Language:English
Published: Cambridge, Mass. : MIT Press, ©1999.
Subjects:
Online Access:DE-862
DE-863
Summary:Annotation.
Physical Description:1 online resource (xiv, 314 pages :)
Bibliography:Includes bibliographical references (pages 297-307) and index.
ISBN:0585385580
9780585385587
9780262270458
0262270455
0262292742
9780262292740
0262032708
9780262032704

There is no print copy available.

Get full text