مشخصات کتاب

Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings

ویرایش: 1 
نویسندگان: S. L. Bloom,  Z. Ésik (auth.),  Till Mossakowski,  Ugo Montanari,  Magne Haveraaen (eds.)  
سری: Lecture Notes in Computer Science 4624 
ISBN (شابک) : 3540738576, 9783540738572 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2007 
تعداد صفحات: 472 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

کلمات کلیدی مربوط به کتاب جبر و ذغال سنگ در علوم کامپیوتر: دومین کنفرانس بین المللی ، CALCO 2007 ، برگن ، نروژ ، 20-24 آگوست ، 2007. مجموعه مقالات: منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، مهندسی نرم افزار، دستکاری نمادین و جبری

در صورت تبدیل فایل کتاب Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب جبر و ذغال سنگ در علوم کامپیوتر: دومین کنفرانس بین المللی ، CALCO 2007 ، برگن ، نروژ ، 20-24 آگوست ، 2007. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب جبر و ذغال سنگ در علوم کامپیوتر: دومین کنفرانس بین المللی ، CALCO 2007 ، برگن ، نروژ ، 20-24 آگوست ، 2007. مجموعه مقالات

یک رویکرد دو جانبه، این کتاب را به مضامین بسیار مفیدی در مورد این موضوع بسیار مرتبط معاصر تبدیل می کند. این مقالات با پرداختن به دو حوزه اساسی کاربرد جبر و جبر - به عنوان اشیاء ریاضی و همچنین در زمینه کاربرد آنها در علوم کامپیوتر - موضوعاتی مانند مدل‌های انتزاعی و منطق، مدل‌های تخصصی و محاسبات، معناشناسی جبری و جبری و سیستم را پوشش می‌دهد. مشخصات و تایید این کتاب مجموعه مقالات داوری دومین کنفرانس CALCO است که در آگوست 2007 در نروژ برگزار شد.

توضیحاتی درمورد کتاب به خارجی

A double-pronged approach makes this book an extremely useful addition to the literature on this highly relevant contemporary topic. Addressing two basic areas of application for algebras and coalgebras – as mathematical objects as well as in the context of their application in computer science – the papers cover topics such as abstract models and logics, specialised models and calculi, algebraic and coalgebraic semantics, and system specification and verification. The book is the refereed proceedings of the second CALCO conference, held in August 2007 in Norway.

فهرست مطالب

Front Matter....Pages -
Regular and Algebraic Words and Ordinals....Pages 1-15
Logical Semantics of Types for Concurrency....Pages 16-35
Deriving Bisimulation Congruences with Borrowed Contexts....Pages 36-39
Symmetry and Concurrency....Pages 40-64
Ready to Preorder: Get Your BCCSP Axiomatization for Free!....Pages 65-79
Impossibility Results for the Equational Theory of Timed CCS....Pages 80-95
Conceptual Data Modeling with Constraints in Maude....Pages 96-110
Datatypes in Memory....Pages 111-125
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets....Pages 126-142
Free Modal Algebras: A Coalgebraic Perspective....Pages 143-157
Coalgebraic Epistemic Update Without Change of Model....Pages 158-172
The Maude Formal Tool Environment....Pages 173-178
Bifinite Chu Spaces....Pages 179-193
Structured Co-spans: An Algebra of Interaction Protocols....Pages 194-208
Graphical Encoding of a Spatial Logic for the π -Calculus....Pages 209-225
Higher Dimensional Trees, Algebraically....Pages 226-241
A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines....Pages 242-256
Parametric (Co)Iteration vs. Primitive Direcursion....Pages 257-278
Bisimulation for Neighbourhood Structures....Pages 279-293
Algebraic Models of Simultaneous Multithreaded and Multi-core Processors....Pages 294-311
Quasitoposes, Quasiadhesive Categories and Artin Glueing....Pages 312-326
Applications of Metric Coinduction....Pages 327-341
The Goldblatt-Thomason Theorem for Coalgebras....Pages 342-355
Specification-Based Testing for CoCasl ’s Modal Specifications....Pages 356-371
 CIRC : A Circular Coinductive Prover....Pages 372-378
Observing Distributed Computation. A Dynamic-Epistemic Approach....Pages 379-393
Nabla Algebras and Chu Spaces....Pages 394-408
An Institutional Version of Gödel’s Completeness Theorem....Pages 409-424
Coalgebraic Foundations of Linear Systems....Pages 425-446
Bootstrapping Types and Cotypes in HasCASL ....Pages 447-461
Back Matter....Pages -

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Politics in Africa: a new introduction

دانلود کتاب Identité, mariage, mobilité sociale: Citoyennes et citoyens à Venise au XVIe siècle

دانلود کتاب Calcul différentiel et équations différentielles: exercices et problèmes corrigés

دانلود کتاب The Biology of African Savannahs

دانلود کتاب Vektorski prostori