دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95 Montreal, Canada, July 3–7, 1995 Proceedings
دانلود کتاب روش شناسی جبری و فناوری نرم افزار: چهارمین کنفرانس بین المللی، AMAST '95 مونترال، کانادا، 3 تا 7 ژوئیه، 1995 مجموعه مقالات
مشخصات کتاب
Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95 Montreal, Canada, July 3–7, 1995 Proceedings
ویرایش: [1 ed.] نویسندگان: David Gries (auth.), V. S. Alagar, Maurice Nivat (eds.) سری: Lecture Notes in Computer Science 936 ISBN (شابک) : 3540600434, 9783540600435 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1995 تعداد صفحات: 597 [604] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 Mb
قیمت کتاب (تومان) : 48,000
در صورت تبدیل فایل کتاب Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95 Montreal, Canada, July 3–7, 1995 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش شناسی جبری و فناوری نرم افزار: چهارمین کنفرانس بین المللی، AMAST '95 مونترال، کانادا، 3 تا 7 ژوئیه، 1995 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش شناسی جبری و فناوری نرم افزار: چهارمین کنفرانس بین المللی، AMAST '95 مونترال، کانادا، 3 تا 7 ژوئیه، 1995 مجموعه مقالات
این جلد مجموعه مقالات چهارمین کنفرانس بین‌المللی روش‌شناسی
جبری و فناوری نرم‌افزار است که در مونترال، کانادا در ژوئیه
1995 برگزار شد.
شامل مقالات کامل یا چکیده‌های گسترده از سخنرانی‌های دعوت‌شده،
مشارکت‌های منتخب داوری، و تحقیقات است. ابزارهای نمونه اولیه
سخنرانان دعوت شده دیوید گریس، ژانت وینگ، دن کریگن، تد
رالستون، اوا اورلووسکا، کریستوف آپت، جوزف گوگن و روهیت پریخ
هستند. 29 مقاله داوری ارائه شده از بین 100 مقاله ارسالی
انتخاب شدند. آنها در بخش هایی در زمینه مبانی جبری و منطقی،
سیستم های همزمان و واکنشی، فناوری نرم افزار، برنامه نویسی
منطقی و پایگاه های داده سازماندهی شده اند.
توضیحاتی درمورد کتاب به خارجی
This volume constitutes the proceedings of the 4th
International Conference on Algebraic Methodology and
Software Technology, held in Montreal, Canada in July
1995.
It includes full papers or extended abstracts of the invited
talks, refereed selected contributions, and research
prototype tools. The invited speakers are David Gries,
Jeanette Wing, Dan Craigen, Ted Ralston, Ewa Orlowska,
Krzysztof Apt, Joseph Goguen, and Rohit Parikh. The 29
refereed papers presented were selected from some 100
submissions; they are organized in sections on algebraic and
logical foundations, concurrent and reactive systems,
software technology, logic programming and databases.
فهرست مطالب
Equational logic as a tool....Pages 1-17
Teaching mathematics to software engineers....Pages 18-40
The role of education and training in the industrial application of formal methods....Pages 41-49
Information algebras....Pages 50-65
Verification of logic programs with delay declarations....Pages 66-90
An introduction to category-based equational logic....Pages 91-126
Knowledge based computation....Pages 127-132
Order-sorted algebraic specifications with higher-order functions....Pages 133-151
Proving the correctness of behavioural implementations....Pages 152-168
On the decidability of process equivalences for the π-calculus....Pages 169-183
Detecting isomorphisms of modular specifications with diagrams....Pages 184-198
Higher-order narrowing with convergent systems....Pages 199-213
Context-free event domains are recognizable....Pages 214-229
Encoding natural semantics in Coq....Pages 230-244
Mongruences and cofree coalgebras....Pages 245-260
Semantic typing for parametric algebraic specifications....Pages 261-276
Causality and true concurrency: A data-flow analysis of the Pi-Calculus....Pages 277-291
Verification in continuous time by discrete reasoning....Pages 292-306
Dynamic matrices and the cost analysis of concurrent programs....Pages 307-321
Petri nets, traces, and local model checking....Pages 322-337
An algebraic framework for developing and maintaining real-time systems....Pages 338-352
Logical foundations for compositional verification and development of concurrent programs in UNITY....Pages 353-367
CPO models for infinite term rewriting....Pages 368-384
Completeness results for two-sorted metric temporal logics....Pages 385-399
On mechanizing proofs within a complete proof system for Unity....Pages 400-415
Automated reasoning about parallel algorithms using powerlists....Pages 416-430
Representing, verifying and applying software development steps using the PVS system....Pages 431-445
An algebraic development technique for information systems....Pages 446-460
A framework for machine-assisted user interface verification....Pages 461-474
Specification of the Unix file system: A comparative case study....Pages 475-488
A Calculus of Countable Broadcasting Systems....Pages 489-503
Symbolic timing devices....Pages 504-517
An algebraic construction of the well-founded model....Pages 518-530
Confluence in concurrent constraint programming....Pages 531-545
A generic algebra for data collections based on constructive logic....Pages 546-560
Partial order programming (Revisited)....Pages 561-575
SPIKE: a system for automatic inductive proofs....Pages 576-577
SEAMLESS: Knowledge based evolutionary system synthesis....Pages 578-580
An object-oriented front-end for deductive databases....Pages 581-584
The SuRE programming framework....Pages 585-585
A declarative system for multi-database interoperability....Pages 586-589
The METAGEN system....Pages 590-591
