Copied Algebra and Coalgebra in Computer Science
Algebra and Coalgebra in Computer Science
This book constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011, held in Winchester, UK, in August/September 2011. The 21 full papers presented together with 4 invited talks were carefully reviewed and selected from 41 submissions. The papers report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. They cover topics in the fields of abstract models and logics, specialized models and calculi, algebraic and coalgebraic semantics, and system specification and verification. The book also includes 6 papers from the CALCO-tools Workshop, colocated with CALCO 2011 and dedicated to tools based on algebraic and/or coalgebraic principles.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Benchmarking Peer-to-Peer Systems
$49.99
Affizierungs- und Teilhabeprozesse zwischen Organismen und Maschinen
$49.99
Evolution of Longevity in Animals
$39.99
Durchwurzelung, Rhizodeposition und Pflanzenverfgbarkeit von Nhrstoffen und Schwermetallen
$69.95
Scholastic Classics: Jane Eyre
$6.71
Surface Waves and Fluxes
$129.00
3D Physical and Virtual Models in Fetal Medicine
$89.00
Deep Eutectic Solvents for Medicine, Gas Solubilization and Extraction of Natural Substances
$159.99
Religious Liberty in a Lockean Society
$59.99
Asymptotic Theory of Statistical Inference for Time Series
$129.00
Human Resource Management in der ffentlichen Verwaltung
$49.99
Arrhythmie-Kompendium I
$69.99
Soil Health
$249.99
The influence of electron captures on the contours of Fraunhofer lines
$74.99
Organic Molecular Crystals
$39.99
A First Course in Group Theory
$54.99
Reengineering Corporate Communication
$84.99
FST TCS 2000: Foundations of Software Technology and Theoretical Science
$39.99
South American Primates
$219.00
Einfhrung in das betriebliche Rechnungswesen
$29.99
Gender and Memory in the Globital Age
$109.99
Quantitation in Cardiology
$54.99
Wideband Continuous-time ADCs, Automotive Electronics, and Power Management
$84.99
Investing in the Age of Democracy
$19.99
MRI Handbook
$139.99
Gendersensibler Musikunterricht
$74.99
Groundwater in Egypts Deserts
$169.99
Theory of Nonlinear Propagation of High Harmonics Generated in a Gaseous
$109.99
Studien zur Theorie der quadratischen Formen
$44.99
University Governance in (Post-)Conflict Southern Sudan 20052011
$54.99
Morphologisch-kologische Differenzierung, Biologie, Systematik und Evolution der neotropischen Gatt
$59.99
Vibronic Coupling Density
$79.99
Ethnographies of Prostitution in Contemporary China
$39.99
Amiri Baraka and the Congress of African People
$54.99
Radiation Oncology: A Physicist's-Eye View
$299.99
Adoleszenz und Migration
$49.99
E-Mobility
$69.99
Spirit and Man
$109.99
Chemosensory Systems in Mammals, Fishes, and Insects
$219.99
Kind und Karriere es geht beides!
$29.99
