دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop Dourdan, France, August 26–30, 1991 Selected Papers
دانلود کتاب روندهای اخیر در مشخصات نوع داده: هشتمین کارگاه آموزشی در مورد مشخصات انواع داده های انتزاعی مشترک با سومین کارگاه COMPASS Dourdan، فرانسه، 26 تا 30 اوت 1991 مقالات منتخب
مشخصات کتاب
Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop Dourdan, France, August 26–30, 1991 Selected Papers
ویرایش: [1 ed.] نویسندگان: Egidio Astesiano, Gianna Reggio (auth.), Michel Bidoit, Christine Choppy (eds.) سری: Lecture Notes in Computer Science 655 ISBN (شابک) : 3540563792, 9783540563792 ناشر: Springer Berlin Heidelberg سال نشر: 1993 تعداد صفحات: X, 344 pp. [352] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
قیمت کتاب (تومان) : 33,000
در صورت تبدیل فایل کتاب Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop Dourdan, France, August 26–30, 1991 Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روندهای اخیر در مشخصات نوع داده: هشتمین کارگاه آموزشی در مورد مشخصات انواع داده های انتزاعی مشترک با سومین کارگاه COMPASS Dourdan، فرانسه، 26 تا 30 اوت 1991 مقالات منتخب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روندهای اخیر در مشخصات نوع داده: هشتمین کارگاه آموزشی در مورد مشخصات انواع داده های انتزاعی مشترک با سومین کارگاه COMPASS Dourdan، فرانسه، 26 تا 30 اوت 1991 مقالات منتخب
توضیحاتی درمورد کتاب به خارجی
Универсальная школьная энциклопедия в 2-х томах-ТОМ 2 КНИГИ ;НАУКА и УЧЕБА Автор: Хлебалина Е. (ред.)Издательство: М.: Аванта+Год издания: 2003Страниц: 581ISBN: 5-94623-054-9, 5-94623-052-2Язык: русскийФормат: DJVUРазмер: 15,9 МбГлавная цель издания «Универсальная школьная энциклопедия» — помочь учащимся и абитуриентам быстро находить информацию по любым темам, связанным со школьной программой. В издание включены сведения по всем основным предметам преподавания в средней школе.Составители «Универсальной школьной энциклопедии» стремились к тому, чтобы статьи были написаны популярным, легкочитаемым стилем, «прозрачным» для детей среднего и старшего школьного возраста. Каждый том содержит около 1000 иллюстраций. «Универсальная школьная энциклопедия» строится по алфавитному принципу. В первый том вошли статьи от «А» до «Л», во второй — от «М» до «Я». В конце томов помещены справочные материалы. Во втором томе они обширнее, так как первый и второй тома фактически представляют собой единую книгу, разделённую на две части. Если какое-либо понятие или термин выделено в тексте курсивом, значит, в первом или втором томе есть статья, посвящённая этому понятию. Если внутри энциклопедического очерка слово или словосочетание выделено полужирным шрифтом, это означает, что автор статьи вводит важное понятие, имеющее самостоятельное значение, однако специального очерка, посвящённого этому понятию, в издании нет. upload.com.ua.com 51
فهرست مطالب
Content:
Front Matter....Pages -
Algebraic specification of concurrency....Pages 1-39
Objects and their specification....Pages 40-65
The use of sorts in algebraic specifications....Pages 66-91
Implementation and behavioural equivalence: A survey....Pages 93-125
Relationships between logical frameworks....Pages 126-143
Label algebras: A systematic use of terms....Pages 144-163
How to specify non determinism and true concurrency with algebraic term nets....Pages 164-180
Bounded implementation of algebraic specifications....Pages 181-198
New concepts of amalgamation and extension for a general theory of specifications....Pages 199-221
Nonequivalence of categories for equational algebraic specifications....Pages 222-235
Process semantics of temporal logic specification....Pages 236-253
The object-based specification language � : concepts, syntax, and semantics....Pages 254-270
Specifications with observable formulae and observational satisfaction relation....Pages 271-291
Event logic for specifying abstract dynamic data types....Pages 292-309
A soft stairway to institutions....Pages 310-329
Generic classes in an object-based language....Pages 330-344
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب After Marx : literature, theory and value in the twenty-first century
دانلود کتاب In the Footsteps of Flora Tristan: A Political Biography
دانلود کتاب Tratado elementar de magia prática
دانلود کتاب Subjectivity in Psychology in the Era of Social Justice
