عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3540619844
شابک
9783540619840
شماره کتابشناسی ملی
شماره
b542063
عنوان و نام پديدآور
عنوان اصلي
Formal systems specification :
نام عام مواد
[Book]
ساير اطلاعات عنواني
the RPC-memory specification case study
نام نخستين پديدآور
Manfred Broy, Stephan Merz, Katharina Spies (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
©1997.
مشخصات ظاهری
نام خاص و کميت اثر
XXIII, 540, [1] p. ; 24 cm.
فروست
عنوان فروست
Lecture notes in computer science, 1169.
يادداشت کلی
متن يادداشت
Scritti di vari.
یادداشتهای مربوط به مندرجات
متن يادداشت
The RPC-memory specification problem problem statement.- The RPC-memory case study: A synopsis.- A TLA solution to the RPC-memory specification problem.- A dynamic specification of the RPC-memory problem.- A memory module specification using composable high-level petri nets.- Constraint oriented temporal logic specification.- A functional solution to the RPC-memory specification problem.- A solution relying on the model checking of boolean transition systems.- Applying a temporal logic to the RPC-memory specification problem.- Using PVS for an assertional verification of the RPC-memory specification problem.- Specification and verification using a visual formalism on top of temporal logic.- A case study in verification based on trace abstractions.- Incremental specification with joint actions: The RPC-memory specification problem.- The methodology of modal constraints.- Tackling the RPC-memory specification problem with I/O automata.- Using relations on streams to solve the RPC-memory specification problem.- The RPC-memory specification problem: UNITY + refinement calculus.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Elaborazione elettronica dei dati -- Elaborazione distribuita.
موضوع مستند نشده
Reti di elaboratori.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Manfred Broy, Stephan Merz, Katharina Spies (eds.).
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Katharina Spies
مستند نام اشخاص تاييد نشده
Manfred Broy
مستند نام اشخاص تاييد نشده
Stephan Merz
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
