دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers
دانلود کتاب روندهای اخیر در تکنیک های توسعه جبری: چهاردهمین کارگاه بین المللی ، WADT ’99 ، Château de Bonas ، 15 تا 18 سپتامبر ، 1999 مقاله های منتخب
مشخصات کتاب
Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers
دسته بندی: جبر ویرایش: 1 نویسندگان: Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll (auth.), Didier Bert, Christine Choppy, Peter D. Mosses (eds.) سری: Lecture Notes in Computer Science 1827 ISBN (شابک) : 3540678980, 9783540678984 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2000 تعداد صفحات: 490 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 65,000
کلمات کلیدی مربوط به کتاب روندهای اخیر در تکنیک های توسعه جبری: چهاردهمین کارگاه بین المللی ، WADT ’99 ، Château de Bonas ، 15 تا 18 سپتامبر ، 1999 مقاله های منتخب: تکنیک های برنامه نویسی، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ها و معانی برنامه ها
در صورت تبدیل فایل کتاب Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روندهای اخیر در تکنیک های توسعه جبری: چهاردهمین کارگاه بین المللی ، WADT ’99 ، Château de Bonas ، 15 تا 18 سپتامبر ، 1999 مقاله های منتخب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روندهای اخیر در تکنیک های توسعه جبری: چهاردهمین کارگاه بین المللی ، WADT ’99 ، Château de Bonas ، 15 تا 18 سپتامبر ، 1999 مقاله های منتخب
این کتاب مجموعه مقالات پس از کارگاه آموزشی چهاردهمین کارگاه
بین المللی تکنیک های توسعه جبری، WADT'99 است که در سپتامبر 1999
در تولوز، فرانسه برگزار شد.
23 مقاله کامل اصلاح شده ارائه شده همراه با سه مقاله دعوت شده با
دقت بررسی شدند. و از 69 ارائه کارگاهی انتخاب شده است. این
مقالات به موضوعات زیر می پردازند: مشخصات جبری و سایر فرمالیسم
های مشخصات، آزمون و اعتبارسنجی، کاربردهای فرآیندهای همزمان،
منطق و اعتبارسنجی، ترکیب فرمالیسم ها، زیرمجموعه ها و جزئی بودن،
ساختارسازی، بازنویسی، جبرها و طرح های مشترک، پالایش، نهادها و
مقوله ها، و مشخصات ASM.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-workshop
proceedings of the 14th International Workshop on Algebraic
Development Techniques, WADT'99, held in Toulouse, France in
September 1999.
The 23 revised full papers presented together with three
invited papers were carefully reviewed and selected from 69
workshop presentations. The papers address the following
topics: algebraic specification and other specification
formalisms, test and validation, concurrent processes
applications, logic and validation, combining formalisms,
subsorts and partiality, structuring, rewriting, co-algebras
and sketches, refinement, institutions and categories, and ASM
specifications.
فهرست مطالب
Front Matter....Pages -
A Type-Theoretic Memory Model for Verification of Sequential Java Programs....Pages 1-21
From States to Histories....Pages 22-36
Principles and Pragmatics of Subtyping in PVS....Pages 37-52
Extending Casl by Late Binding....Pages 53-72
Towards an Evolutionary Formal Software-Development Using CASL....Pages 73-88
Development of Parsing Tools for CASL Using Generic Language Technology....Pages 89-105
Using CASL to Specify the Requirements and the Design: A Problem Specific Approach....Pages 106-125
Subsorted Partial Higher-Order Logic as an Extension of CASL....Pages 126-145
Specifying Real Numbers in CASL ....Pages 146-161
Specification Refinement with System F – The Higher-Order Case....Pages 162-181
Guarded Algebras: Disguising Partiality so You Won’t Know Whether Its There....Pages 182-200
A General Completeness Result in Refinement....Pages 201-218
An Institution of Hybrid Systems....Pages 219-236
Realization of Probabilistic Automata: Categorical Approach....Pages 237-251
Specifications in an Arbitrary Institution with Symbols....Pages 252-270
A General Algebraic Framework for Studying Modular Systems....Pages 271-290
History Preserving Bisimulation for Contextual Nets....Pages 291-310
A Model for Interaction of Agents and Environments....Pages 311-328
Algebra-Coalgebra Structures and Bialgebras....Pages 329-347
A Uniform Model Theory for the Specification of Data and Process Types....Pages 348-365
Relating Abstract Datatypes and Z-Schemata....Pages 366-382
Algebraic Specification of Operator-Based Multimedia Scenarios....Pages 383-400
Higher-Order Logic and Theorem Proving for Structured Specifications....Pages 401-418
Extraction of Structured Programs from Specification Proofs....Pages 419-437
Towards a Verification Logic for Rewriting Logic....Pages 438-458
The Rôle of Normalisation in Testing from Structured Algebraic Specifications....Pages 459-476
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب A Characterisation of Ck(X) As a Frechet f-Algebra
دانلود کتاب 2^(x o) varieties of Heyting algebras not generated by their finite members
دانلود کتاب Foundations of module and ring theory: A handbook for study and research
دانلود کتاب Foundations of translation planes
دانلود کتاب Normal Division Algebras Satisfying Mild Assumptions
دانلود کتاب On Quasi-Analytic Functions
دانلود کتاب Surjectivity of SL 2(Z)->SL 2(Z/p)
دانلود کتاب Lectures on quaternions
