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

Nonlinear PDEs

Nonlinear PDEs

$84.99
Lehrerhabitus an exklusiven Schulen in China und Deutschland

Lehrerhabitus an exklusiven Schulen in China und Deutschland

$49.99
Recent Advances in Laser Ablation ICP-MS for Archaeology

Recent Advances in Laser Ablation ICP-MS for Archaeology

$179.99
The Study of Continental Lithosphere Electrical Conductivity, Temperature and Rheology

The Study of Continental Lithosphere Electrical Conductivity, Temperature and Rheology

$109.99
Standardnderungen innerhalb der IFRS-Rechnungslegung und deren Rckkopplungseffekte auf unternehmer

Standardnderungen innerhalb der IFRS-Rechnungslegung und deren Rckkopplungseffekte auf unternehmer

$84.99
Towards a Northeast Asian Security Community

Towards a Northeast Asian Security Community

$84.99
The Fed at One Hundred

The Fed at One Hundred

$84.99
Cellular and Molecular Basis of Synaptic Transmission

Cellular and Molecular Basis of Synaptic Transmission

$129.00
X-Ray Optics

X-Ray Optics

$219.99
The Economics of the National Football League

The Economics of the National Football League

$199.99
Race the Wild: Competencia en la selva

Race the Wild: Competencia en la selva

$3.74
Strkung der Lernkultur in Unternehmen

Strkung der Lernkultur in Unternehmen

$64.99
Regular Expression Recipes

Regular Expression Recipes

$34.99
Functional Foods and Nutraceuticals

Functional Foods and Nutraceuticals

$149.00
Molecular Typing in Bacterial Infections, Volume II

Molecular Typing in Bacterial Infections, Volume II

$139.00
Information Security Practice and Experience

Information Security Practice and Experience

$54.99
Dynamics and Thermodynamics with Nuclear Degrees of Freedom

Dynamics and Thermodynamics with Nuclear Degrees of Freedom

$129.00
Human Capital Investment

Human Capital Investment

$119.99
Genomes of Plants and Animals

Genomes of Plants and Animals

$169.99
Handbook of Popular Culture and Biomedicine

Handbook of Popular Culture and Biomedicine

$159.99
The Baltic Sea Basin

The Baltic Sea Basin

$219.99
North SeaEstuaries Interactions

North SeaEstuaries Interactions

$169.99
Discontinuous Dynamical Systems on Time-varying Domains

Discontinuous Dynamical Systems on Time-varying Domains

$84.99
Nigel J. Kalton Selecta

Nigel J. Kalton Selecta

$84.99
Static Analysis

Static Analysis

$54.99
Internationalization of the Economy and Environmental Policy Options

Internationalization of the Economy and Environmental Policy Options

$109.99
Vaccines for Neglected Pathogens: Strategies, Achievements and Challenges

Vaccines for Neglected Pathogens: Strategies, Achievements and Challenges

$49.99
Colonialism, Transnationalism, and Anarchism in the South of the Mediterranean

Colonialism, Transnationalism, and Anarchism in the South of the Mediterranean

$129.99
Die Festigkeit thermoplastischer Kunststoffe in Abhngigkeit von den Verarbeitungsbedingungen

Die Festigkeit thermoplastischer Kunststoffe in Abhngigkeit von den Verarbeitungsbedingungen

$59.99
TouchDevelop

TouchDevelop

$24.99
The Combinatory Systems Theory

The Combinatory Systems Theory

$109.99
Switched-Current Signal Processing and A/D Conversion Circuits

Switched-Current Signal Processing and A/D Conversion Circuits

$169.99
Die Abbildung von nuklearen Entsorgungsverpflichtungen in IFRS-Abschlssen

Die Abbildung von nuklearen Entsorgungsverpflichtungen in IFRS-Abschlssen

$64.99
Optical Waveguide Sciences

Optical Waveguide Sciences

$169.99
Web and Wireless Geographical Information Systems

Web and Wireless Geographical Information Systems

$39.99
Fourier Vision

Fourier Vision

$169.99
A Little Bit of Angels - An Introduction to Spirit Guidance by Elaine Clayton

A Little Bit of Angels - An Introduction to Spirit Guidance by Elaine Clayton

$9.95
Die Rechtsabteilung

Die Rechtsabteilung

$59.99
Das TV-Format als Media Brand

Das TV-Format als Media Brand

$69.99
Migration und schulischer Wandel: Unterricht

Migration und schulischer Wandel: Unterricht

$19.99
previous
next