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

Theoretical Aspects of Computer Software

Theoretical Aspects of Computer Software

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

This book constitutes the refereed proceedings of the Third International Symposium on Theoretical Aspects of Computer Software, TACS'97, held in Sendai, Japan, in September 1997. The book presents 20 revised full papers selected from a total of 46 submissions. Also included are seven invited papers by internationally leading scientists. Among the topics addressed are action calculi, polymorphisms, type theory, lambda calculi, refinement, finite transition systems, model checking, process algebras, logical frameworks, higher-order logics, etc.

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

Single Product Purchase

$84.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
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

Hayek's Modern Family

$129.99

Composition Operators

$79.99

Mistrust

$39.99

Evaluierung der Akzeptanz von Fahrerassistenzsystemen

$49.99

MEDICON23 and CMBEBIH23

$299.99

Complex Analysis in One Variable

$99.99

Austerity and Political Choice in Britain

$54.99

Technological Systems and Economic Performance: The Case of Factory Automation

$169.99

Creating Postcolonial Literature

$39.99

Image and Video Technology

$54.99

The Geology of Iberia: A Geodynamic Approach

$249.99

Der Kapp-Putsch als Wende

$44.99

Die Reform des hheren Schulwesens auf Grund der Ostendorfschen These: Der fremdsprachliche Unterric

$59.99

Cyber Racism and Community Resilience

$19.99

Geographies of the Romantic North

$39.99

Guanidino Compounds in Biology and Medicine

$169.99

Mathematik im Prozess

$69.99

Investment under Uncertainty, Coalition Spillovers and Market Evolution in a Game Theoretic Perspect

$129.00

The Foundational Debate

$169.99

Information Handling in Astronomy

$84.99

Advances in Communication of Design

$109.99

Coronary Circulation

$39.99

Trevor Winchester Swan, Volume II

$99.00

The United Nations and Sustainable Development Goals

$129.99

Project Selection Under Uncertainty

$84.99

Transnational Latina Narratives in the Twenty-first Century

$39.99

Artificial Intelligence

$129.99

Grundlagen der geometrischen Datenverarbeitung

$79.99

Value Distribution Theory

$54.99

Space Engineering

$54.99

Anleihefinanzierung im eigentmergefhrten deutschen Mittelstand

$69.99

Successful Emotions

$54.99

Martha Stewart's Cookie Perfection: 100+ Recipes to Take Your Sweet Treats to the Next Level: A Baking Book by Martha Stewart Living

$28.99

Philosophical Papers

$119.99

Coupled Boundary and Finite Element Methods for the Solution of the Dynamic Fluid-Structure Interact

$109.99

Quasi-unsteady CHP Operation of Power Plants

$109.99

berzeugungen und Begrndungen fachfremd Mathematiklehrender

$49.99

Die Untersuchung des Pulses und ihre Ergebnisse in gesunden und kranken Zustnden

$59.99

Sara: Sara and the Meaning of Awesome

$5.24

Kompetente Mitarbeiter und wandlungsfhige Organisationen

$74.99