دانلود کتاب Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings

Name: Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings
Availability: InStock
Author: S. L. Bloom
ISBN: 3540738576, 9783540738572

by S. L. Bloom, Z. Ésik (auth.), Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.)

عنوان فارسی: جبر و Coalgebra در علوم کامپیوتر : دومین کنفرانس بین المللی ، Calco را سال 2007، برگن ، نروژ، اوت 20-24، 2007. مجموعه مقالات
ناشر: Springer-Verlag Berlin Heidelberg
سال: 2007
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 463-472
شابک: 3540738576, 9783540738572
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 5.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

This book constitutes the refereed proceedings of the Second International Conference on Algebra and Coalgebra in Computer Science, CALCO 2007, held in Bergen, Norway in August 2007. The 26 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 57 submissions. Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as 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.