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

Relations and Kleene Algebra in Computer Science

Relations and Kleene Algebra in Computer Science

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

The book constitutes the joint refereed proceedings of the 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and the 6th International Conference on Applications of Kleene Algebras, AKA 2009, held in Doha, Qatar in November 2009. The 22 revised full papers presented together with 2 invited papers were carefully reviewed and selected from numerous submissions. The papers describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with special focus on formal methods for software engineering, logics of programs and links to neighbouring disciplines. Their scope comprises relation relation algebras and Kleene algebras, related formalisms such as process algebras, fixed point calculi, idempotent semirings, quantales, allegories, dynamic algebras, cylindric algebras and their applications in areas such as verification, analysis and development of programs and algorithms relational formal methods such as B or Z, tabular methods, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics, algebraic semantics of programming languages , graph theory and combinatorial optimization, games, automata and language theory, mechanised and automated reasoning, decision procedures, spatio-temporal reasoning, knowledge acquisition, preference and scaling methods or information systems.

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

General Spatial Involute Gearing

$299.99

Building Sustainable Couples in International Relations

$54.99

Mathematical Problems of Statistical Hydromechanics

$109.99

Monitoring the Comprehensive Nuclear-Test-Ban Treaty: Seismic Event Discrimination and Identificatio

$54.99

Cognitive Agents for Virtual Environments

$54.99

Pharmacodynamic Models of Selected Toxic Chemicals in Man

$54.99

Introduction to the Theory of Metastable and Unstable States

$39.99

Biomedical Informatics for Cancer Research

$89.00

Fundamental Theories of Mega Infrastructure Construction Management

$119.00

Springer Handbook of Power Systems

$379.99

Microbial Interactions

$39.99

Siemens NX fr Einsteiger kurz und bndig

$34.99

Fuzzy Hypergraphs and Related Extensions

$39.99

Psychoanalytic Process Research Strategies

$84.99

Die Notlage der deutschen Kleinbahnen und Privateisenbahnen und Mittel zu ihrer Behebung

$79.99

Einfhrung in die Optimierung

$39.99

Individual and Collective Choice and Social Welfare

$84.99

Pharming

$109.99

English for Academic Research: Writing Exercises

$24.99

Clinical Cases in Infections and Infestations of the Skin

$54.99

Die Dampfkessel

$49.99

Coronary Vasomotion Abnormalities

$109.99

Trotter-Kato Product Formul

$199.99

Statistische Theorie der Wrme

$59.99

Holomorphic Functions and Moduli II

$109.00

Surgery of Cerebellopontine Lesions

$139.00

Kontodaten-Analyse fr die Bonittsprfung im Firmenkundenkreditgeschft

$74.99

Polypropylene Structure, blends and composites

$219.99

New Introduction to Multiple Time Series Analysis

$109.00

Rethinking Rachel Doleal and Transracial Theory

$64.99

Phytoremediation of Metal-Contaminated Soils

$219.99

Ageing in a Nursing Home

$169.99

Parenterale Ernhrungstherapie

$69.99

Multiple Myeloma

$89.00

The Practice of Integrity in Business

$54.99

Public Management as Corporate Social Responsibility

$54.99

Frozen Section Library: Pancreas

$109.00

Behandlungsfehler und Haftpflicht in der Viszeralchirurgie

$9.99

Political Economy in the Habsburg Monarchy 17501774

$129.99

State and the Emergence of the British Oil Industry

$44.99