Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Theoretical Aspects of Computer Software

Best Price (Coupon Required):
Buy Theoretical Aspects of Computer Software for $76.50 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$76.50
@ Link.springer.com with extra coupon

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

10% OFF
This deals requires coupon
$76.50
See Site In stock Visit Store

Product Details

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

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

International Economic Policy Coordination

International Economic Policy Coordination

$84.99
Spezielle Chirurgie

Spezielle Chirurgie

$59.99
Welfare State at Risk

Welfare State at Risk

$109.99
Composition and Origin of Cometary Materials

Composition and Origin of Cometary Materials

$129.00
Leadership in Global Institution Building

Leadership in Global Institution Building

$109.99
The Postcolonial and Imperial Experience in American Transcendentalism

The Postcolonial and Imperial Experience in American Transcendentalism

$54.99
Synthesis and Reactivity of Donor-Acceptor Substituted Aminocyclopropanes and Aminocyclobutanes

Synthesis and Reactivity of Donor-Acceptor Substituted Aminocyclopropanes and Aminocyclobutanes

$84.99
Azo Polymers

Azo Polymers

$109.99
High Performance Computing

High Performance Computing

$39.99
Controlling Soviet Labour

Controlling Soviet Labour

$44.99
PL/I fr Workstations

PL/I fr Workstations

$54.99
Low and Intermediate Energy Kaon-Nucleon Physics

Low and Intermediate Energy Kaon-Nucleon Physics

$169.99
Finding Gallipoli

Finding Gallipoli

$119.99
Parameter Estimation and Hypothesis Testing in Spectral Analysis of Stationary Time Series

Parameter Estimation and Hypothesis Testing in Spectral Analysis of Stationary Time Series

$39.99
Chinese Economic Statecraft from 1978 to 1989

Chinese Economic Statecraft from 1978 to 1989

$179.99
IT-Sicherheit bei Kreditinstituten in Deutschland

IT-Sicherheit bei Kreditinstituten in Deutschland

$59.99
Six Decades of Indonesia-China Relations

Six Decades of Indonesia-China Relations

$54.99
Early Life on Earth

Early Life on Earth

$109.99
Corporate Social Responsibility and the Shaping of Global Public Policy

Corporate Social Responsibility and the Shaping of Global Public Policy

$39.99
Peine

Peine

$59.99
Male Anxiety and Psychopathology in Film

Male Anxiety and Psychopathology in Film

$119.99
Barnes & Noble Sound the Gong by Joan He

Barnes & Noble Sound the Gong by Joan He

$19.99
Semiparametric Methods in Econometrics

Semiparametric Methods in Econometrics

$109.99
Practical Bifurcation and Stability Analysis

Practical Bifurcation and Stability Analysis

$109.99
Seneca  Praktische Philosophie fr Manager

Seneca Praktische Philosophie fr Manager

$74.99
Arzneiverordnungs-Report 2002

Arzneiverordnungs-Report 2002

$74.99
Neue Perspektiven auf mathematische Lehr-Lernprozesse mit digitalen Medien

Neue Perspektiven auf mathematische Lehr-Lernprozesse mit digitalen Medien

$84.99
Treating Chronic Pain

Treating Chronic Pain

$54.99
NMR Spectroscopy in Organic Chemistry

NMR Spectroscopy in Organic Chemistry

$39.99
The Adventures of Jovani and Alejandro

The Adventures of Jovani and Alejandro

$5.21
Biochemie  ein Einstieg

Biochemie ein Einstieg

$49.99
bungen fr den Bankkaufmann

bungen fr den Bankkaufmann

$44.99
The Profile of Political Leaders

The Profile of Political Leaders

$54.99
Ethical Issues in Preventive Medicine

Ethical Issues in Preventive Medicine

$109.99
Monoclonal Antibody Therapy of Human Cancer

Monoclonal Antibody Therapy of Human Cancer

$109.99
Gute Kinderschutzverfahren

Gute Kinderschutzverfahren

$49.99
Natural Fibres: Advances in Science and Technology Towards Industrial Applications

Natural Fibres: Advances in Science and Technology Towards Industrial Applications

$109.99
Probiotic Research in Therapeutics

Probiotic Research in Therapeutics

$179.99
Hitler Youth (Hardcover)

Hitler Youth (Hardcover)

$16.49
Untersuchungen zur Verbesserung des Leinenwebstuhles IV. Die Wirkung verschiedener Kettbaumbremsen a

Untersuchungen zur Verbesserung des Leinenwebstuhles IV. Die Wirkung verschiedener Kettbaumbremsen a

$59.99
previous
next