Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Algebra and Coalgebra in Computer Science

Algebra and Coalgebra in Computer Science

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783642229435
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Transitional Justice in Nicaragua 19902012

$54.99

Principles of Nucleic Acid Structure

$74.99

Operational Amplifiers

$119.99

The Revolutionary 'I'

$109.99

Compiler Construction

$39.99

Qualitative Methods in Inverse Scattering Theory

$109.00

Wavelet Analysis and Its Applications

$39.99

D.H. Lawrence: The Thinker as Poet

$84.99

The Great Chain of Being and Italian Phenomenology

$219.99

Brain Metastases

$219.99

Statistical Robust Beamforming for Broadcast Channels and Applications in Satellite Communication

$84.99

Risk and Reliability Analysis: Theory and Applications

$189.00

What Does It Mean To Be An Entrepreneur?

$3.71

Experiencing and Protecting Sacred Natural Sites of Smi and other Indigenous Peoples

$139.99

Helen's Big World

$7.46

Einstein Manifolds

$44.99

Professionelle Vertriebspower im Maschinen- und Anlagenbau

$39.99

Mike Mulligan and His Steam Shovel 75th Anniversary by Virginia Lee Burton

$21.99

Reproductive Health and the Environment

$219.99

Quality Assured Measurement

$159.99

An Introduction to Programming Languages: Simultaneous Learning in Multiple Coding Environments

$79.99

Mehr Erfolg mit besseren Vertrgen

$24.99

Theoretical Principles of Relational Biology

$119.99

Europische Integration

$44.99

Random Maintenance Policies

$109.99

Clinical Evaluation of Medical Devices

$169.00

Network and System Security

$119.99

Object, Models, Components, Patterns

$54.99

Who is Who in Thermal Analysis and Calorimetry

$159.99

Religion und Politik in westlichen Demokratien

$74.99

Water Balance in Land Arthropods

$109.99

Electronic Imaging in Astronomy

$99.99

Auden at Work

$109.99

Deep Sciences for Computing and Communications

$89.99

Internal Limiting Membrane Surgery

$69.99

Chemistry in Non-Aqueous Solvents

$109.99

W.B.Yeats and W.T.Horton

$44.99

Continuum Mechanics Aspects of Geodynamics and Rock Fracture Mechanics

$169.99

Allgemeine und spezielle Pharmakologie und Toxikologie

$69.99

Beneficial Co-Utilization of Agricultural, Municipal and Industrial by-Products

$84.99