Verifying temporal properties of systems
/ Julian Charles Bradfield
Verifying temporal properties of systems
طبع 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.
