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

Theoretical Aspects of Computer Software

Best Price:
Buy Theoretical Aspects of Computer Software for $84.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.

Set a price drop alert to never miss an offer.

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

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

Applying Power Series to Differential Equations

Applying Power Series to Differential Equations

$64.99
Aversive Interpersonal Behaviors

Aversive Interpersonal Behaviors

$129.00
Active Media Technology

Active Media Technology

$84.99
The Brazilian Left in the 21st Century

The Brazilian Left in the 21st Century

$139.99
Environmental Magnetism

Environmental Magnetism

$54.99
Entscheidungen

Entscheidungen

$24.99
Neotropical Insect Galls

Neotropical Insect Galls

$169.99
Digitale Gebudeautomation

Digitale Gebudeautomation

$84.99
Englische Apotheken-Praxis

Englische Apotheken-Praxis

$59.99
Thunder From the Sea

Thunder From the Sea

$7.46
MHC Class-I Loss and Cancer Immune Escape

MHC Class-I Loss and Cancer Immune Escape

$169.99
Approaches to Peacebuilding

Approaches to Peacebuilding

$39.99
HCI in Business, Government, and Organizations: Information Systems

HCI in Business, Government, and Organizations: Information Systems

$54.99
Performance Measurement in Nonprofit-Organisationen

Performance Measurement in Nonprofit-Organisationen

$109.00
The Girl Who Was Supposed to Die

The Girl Who Was Supposed to Die

$5.99
Managementuntersttzung durch Venture-Capital-Gesellschaften

Managementuntersttzung durch Venture-Capital-Gesellschaften

$59.99
Computed Tomography of the Retroperitoneum

Computed Tomography of the Retroperitoneum

$169.00
Industrial Statistics

Industrial Statistics

$54.99
Cervical Cancer: From Etiology to Prevention

Cervical Cancer: From Etiology to Prevention

$169.00
Industrial Organization

Industrial Organization

$41.60
Wissenschaftlicher Briefwechsel mit Bohr, Einstein, Heisenberg u.a. Band IV, Teil III: 19551956. Sc

Wissenschaftlicher Briefwechsel mit Bohr, Einstein, Heisenberg u.a. Band IV, Teil III: 19551956. Sc

$199.00
Abtastregelung

Abtastregelung

$44.99
Wiederholungs- und Vertiefungskurs Strafrecht

Wiederholungs- und Vertiefungskurs Strafrecht

$19.99
Entwicklung seismischer Drehfehlermegerte mit niedrigen Eigenfrequenzen fr die Verzahntechnik

Entwicklung seismischer Drehfehlermegerte mit niedrigen Eigenfrequenzen fr die Verzahntechnik

$59.99
Molecular Electronic Structures of Transition Metal Complexes II

Molecular Electronic Structures of Transition Metal Complexes II

$169.99
CSR in Private Enterprises in Developing Countries

CSR in Private Enterprises in Developing Countries

$54.99
VIIIth International Astronautical Congress Barcelona 1957 / VIII. Internationaler Astronautischer K

VIIIth International Astronautical Congress Barcelona 1957 / VIII. Internationaler Astronautischer K

$54.99
Human Resource Management in Ageing Societies

Human Resource Management in Ageing Societies

$54.99
International Mortality Statistics

International Mortality Statistics

$39.99
Technische Mechanik

Technische Mechanik

$49.99
Urban and Community Forestry in the Northeast

Urban and Community Forestry in the Northeast

$169.99
Sozialstruktur und Milieuerfahrungen

Sozialstruktur und Milieuerfahrungen

$69.99
Die Akzeptanz des Wohlfahrtsstaates

Die Akzeptanz des Wohlfahrtsstaates

$69.99
Aktuelle Anforderungen und Belastungsfaktoren im Pflegeberuf

Aktuelle Anforderungen und Belastungsfaktoren im Pflegeberuf

$64.99
Parasites and Pathogens

Parasites and Pathogens

$129.00
Konflikt und Kooperation im Industriebetrieb

Konflikt und Kooperation im Industriebetrieb

$59.99
New Developments of the Exchange Rate Regimes in Developing Countries

New Developments of the Exchange Rate Regimes in Developing Countries

$109.99
Die wirtschaftlich trainierte Fra?

Die wirtschaftlich trainierte Fra?

$59.99
Project Management in the Digital Transformation Era

Project Management in the Digital Transformation Era

$219.99
The Ultimate Book of Phonics Word Lists: Grades K-1

The Ultimate Book of Phonics Word Lists: Grades K-1

$14.99
previous
next