عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
0387196277
شابک
3540196277
شابک
9780387196275
شابک
9783540196273
شماره کتابشناسی ملی
شماره
b565339
عنوان و نام پديدآور
عنوان اصلي
Z user workshop :
نام عام مواد
[Book]
ساير اطلاعات عنواني
proceedings of the fourth annual Z user meeting, Oxford, 15 December 1989
نام نخستين پديدآور
J.E. Nicholls (ed.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
1990
مشخصات ظاهری
نام خاص و کميت اثر
VIII, 277 Seiten ; 25 cm : Illustrationen.
فروست
عنوان فروست
Workshops in computing
يادداشت کلی
متن يادداشت
Rückentitel: Z User Workshop, Oxford 1989."Published in collaboration with the British Computer Society."
یادداشتهای مربوط به مندرجات
متن يادداشت
Opening address: The State of Use of Formal Methods.- Type Inference in Z.- Minimisation in Formal Specification and Design.- From Programs to Z Specifications.- Computer Aided Transformation of Z into Prolog.- From Z Specifications to Functional Implementations.- A Generalisation of Bags in Z.- Formaliser - An Interactive Support Tool for Z.- Using Z to Develop a CASE Toolset.- Using Z to Describe Large Systems.- CICS/ESA 3.1 Experiences.- Structural Metrics for Z Specifications.- Educating Management in Z.- The Knuth-Bendix Completion Algorithm and its Specification in Z.- A Message Passing System. An Example of Combining CSP and Z.- Structured Methodologies and Formal Notations: Developing a Framework for Synthesis and Investigation.- Posters.- Zork: A Typechecker for Z from York.- The Z Tool.- Use of Z to Specify a Secure System.- ESPRIT BRA ProCoS Project.- Safemos: Demonstration of the Possibility of Totally Verified Systems.- ESPRIT II: REDO at Oxford.- Formal Specification of Window Systems.- PRG Archive Server.- ZIP: a Unification Initiative for Z Standards, Methods and Tools.- List of Z Users.- Selected Z Bibliography.- Z FORUM Electronic Newsletter.
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
Z User Workshop, Oxford 1989
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
;Z
موضوع مستند نشده
Kongress
موضوع مستند نشده
Z Programmiersprache>
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
J.E. Nicholls (ed.).
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
John E Nicholls
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
