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

Regionalfenster im Programm von RTL und SAT.1

$59.99

HCI in Mobility, Transport, and Automotive Systems

$89.99

Biblioburro

$5.21

Global Climate Change and Public Health

$139.00

Living with Biodiversity in an Island Ecosystem

$109.99

Technology's Promise

$39.99

The Seventh Landing

$29.99

Practitioner's Guide to Ethics and Mindfulness-Based Interventions

$199.99

On the Move to Meaningful Internet Systems: OTM 2009

$109.99

Great Black Heroes: Five Bold Freedom Fighters

$2.99

International Money Flows and Currency Crises

$54.99

St Hughs: One Hundred Years of Womens Education in Oxford

$84.99

Sicherheit auf See

$69.99

The End of Oz (Dorothy Must Die Series #4) by Danielle Paige

$15.99

Graph Drawing and Network Visualization

$54.99

Pharmakotherapie

$39.99

Philosophy of Cancer

$119.99

The Sun is Feminine

$54.99

Issues and Images in the Philosophy of Science

$39.99

Handbuch Politische Ideengeschichte

$129.99

Restless Reason and Other Variations on Kantian Themes

$109.99

Handbuch der Baugeologie und Geotechnik

$229.99

Der Jahresabschluss - eine praxisorientierte Einfhrung

$29.99

Smart and Gets Things Done

$24.99

Hospital-based Injury and Violence Prevention Programs

$49.99

Klrung des widerstandserhhenden Effektes bei Talfahrt von Binnenschiffen

$59.99

The Question of Hermeneutics

$109.99

Handelsgesetze als Quelle des brgerlichen Rechtes

$59.99

Elternschaft zwischen Projekt und Projektion

$69.99

Visual Inference for IoT Systems: A Practical Approach

$139.99

Support Vector Machines for Pattern Classification

$129.00

Love You Forever

$3.09

Value-at-Risk Anstze zur Abschtzung von Marktrisiken

$79.99

Logic Synthesis and Optimization

$169.99

Advanced Intelligent Computing Technology and Applications

$79.99

HCI International 2023 Posters

$169.99

Introduction to Elementary Molecular Orbital Theory and to Semiempirical Methods

$54.99

Blue Carbon Dynamics of the Indian Ocean

$119.99

Computer Vision Systems

$84.99

Kritik der historisch-existenzialistischen Soziologie

$84.99