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

Relational and Algebraic Methods in Computer Science

Relational and Algebraic Methods in Computer Science

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

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submissions in the general area of relational and algebraic methods in computer science, adding special focus on formal methods for software engineering, logics of programs and links with neighboring disciplines. The papers are structured in specific fields on applications to software specification and correctness, mechanized reasoning in relational algebras, algebraic program derivation, theoretical foundations, relations and algorithms, and properties of specialized relations.

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

Neuropsychologisches Befundsystem fr die Ergotherapie

$69.99

Gastroenterologische Endoskopie

$59.99

Reibungsminimierung im Antriebsstrang 2016

$139.99

Field-Flow Fractionation in Biopolymer Analysis

$169.99

Water and Sustainable Agriculture

$54.99

Applications for Future Internet

$60.00

COVID-19, Tourist Destinations and Prospects for Recovery

$199.99

Food Processing: Strategies for Quality Assessment

$169.99

Russian Politics in Exile

$54.99

Ad-hoc Networks: Fundamental Properties and Network Topologies

$109.99

Kalorisch-Chemische Rechenaufgaben

$69.99

Stichwort: Wahlen

$19.99

Lernprozesse von Lehrkrften im Rahmen einer Fortbildung zu inklusivem Mathematikunterricht

$59.99

Molecular and Clinical Advances in Anticancer Drug Resistance

$219.99

Recht der EU-Auenbeziehungen

$139.99

The Primacy of Regime Survival

$49.99

Foundations of Security Analysis and Design

$39.99

Psychological, Educational, and Sociological Perspectives on Success and Well-Being in Career Develo

$109.99

Landolt-Brnstein Set 2015

$39,960.00

The Price of Climate Action

$59.99

Airway Mucus: Basic Mechanisms and Clinical Perspectives

$219.99

Gesundheitsorientierte Unternehmensfhrung

$79.99

Realist Fantasy

$19.99

Cultural Revolution Manuscripts

$54.99

The Callias Index Formula Revisited

$49.99

Adjektivfolgen

$59.99

Limits

$79.99

Open Digital Innovation

$99.99

Molecular Mechanisms of Pathogenesis in Chagas' Disease

$169.99

Lehrbuch der Pflanzenkrankheiten

$39.99

The Viscosity of Protoplasm

$54.99

Tocqueville-Handbuch

$99.99

Autism in Adolescents and Adults

$169.99

European Train Control System (ETCS)

$39.99

Der Drogenkrieg in den Anden

$69.99

String Processing and Information Retrieval

$39.99

RNA Scaffolds

$109.00

Conflict Resolution in Decision Making

$54.99

Nigerian Consumer Credit

$109.99

Bioreactor Engineering Research and Industrial Applications I

$219.99