Verifying temporal properties of systems
/ Julian Charles Bradfield
Verifying temporal properties of systems
نویسنده
/ Julian Charles Bradfieldنسخه 1
0-8176-3625-0
فهرست
شناسنامه
سرشناسه
Bradfield,Julian Charles, 1964 -، نویسندهعنوان و نام پدیدآور
Verifying temporal properties of systems / / Julian Charles Bradfieldمشخصات نشر
بوستون : : Birkhauser، 1992ممشخصات ظاهری
vi ,113 p .؛ : ill . ;25 cm.موضوع
Automatic theorem provingPetrinests
Verification ( Logic )
فروست
(Progress in theoretical computer science؛ )زبان
انگلیسیشماره بازیابی
کنگره:
یادداشت
انگليسي.Includes bibliographical references ( p .105-109 ) and index.
