عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
354011212X
شابک
3540390472
شابک
9783540112129
شابک
9783540390473
شماره کتابشناسی ملی
شماره
b565220
عنوان و نام پديدآور
عنوان اصلي
Logics of Programs :
نام عام مواد
[Book]
ساير اطلاعات عنواني
Workshop, Yorktown Heights, New York, May 1981
نام نخستين پديدآور
edited by Dexter Kozen.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, Heidelberg
نام ناشر، پخش کننده و غيره
Springer Berlin Heidelberg
تاریخ نشرو بخش و غیره
1982
مشخصات ظاهری
نام خاص و کميت اثر
(429 pages)
فروست
عنوان فروست
Lecture notes in computer science, 131.
یادداشتهای مربوط به مندرجات
متن يادداشت
Proof rules dealing with fairness --; Hoare's Logic is incomplete when it does not have to be --; The refinement of specifications and the stability of Hoare's Logic --; Toward a logical theory of program data --; Design and synthesis of synchronization skeletons using branching time temporal logic --; The type theory of PL/CV3 --; Correctness of programs with function procedures --; A formalism for reasoning about fair termination --; Keeping a foot on the ground --; Further results on propositional dynamic logic of nonregular programs --; Some observations on compositional semantics --; Some connections between iterative programs, recursive programs, and first-order logic --; On induction vs. *-continuity --; Timesets --; Program logics and program verification --; Verification of concurrent programs: Temporal proof principles --; Synthesis of communicating processes from Temporal Logic specifications --; A note on equivalences among logics of programs --; The representation theorem for algorithmic algebras --; Nonstandard Dynamic Logic --; A critique of the foundations of Hoare-style programming logics --; Some applications of topology to program semantics --; Using graphs to understand PDL --; Critical remarks on max model of concurrency --; Transcript of panel discussion.
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
With contributions by nummerous experts
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Logic design.
موضوع مستند نشده
Programmation (Informatique) -- Congrès.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
edited by Dexter Kozen.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Dexter Kozen
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
