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

Theoretical Aspects of Computer Software

Best Price:
Buy Theoretical Aspects of Computer Software for $39.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: $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
$39.99 $39.99

$39.99
See Site In stock Visit Store

Product Details

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

This volume contains the proceedings of the Second International Symposium on Theoretical Aspects of Computer Science, held at Tohoku University, Japan in April 1994. This top-level international symposium on theoretical computer science is devoted to theoretical aspects of programming, programming languages and system, and parallel and distributed computation. The papers in the volume are grouped into sessions on: lambda calculus and programming; automated deduction; functional programming; objects and assignments; concurrency; term rewriting and process equivalence; type theory and programming; algebra, categories and linear logic; and subtyping, intersection and union types. The volume also includes seven invited talks and two open lectures.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

The Cultural History of the Chinese Concepts Fengjian (Feudalism) and Jingji (Economy)

The Cultural History of the Chinese Concepts Fengjian (Feudalism) and Jingji (Economy)

$109.99
Endokrine Chirurgie

Endokrine Chirurgie

$189.00
Europe as a Stronger Global Actor

Europe as a Stronger Global Actor

$129.00
Emergency Department Critical Care

Emergency Department Critical Care

$199.99
Analog Signal Processing

Analog Signal Processing

$109.99
Untersuchungen zur Verbesserung der Herstellungsverfahren und der Eigenschaften technischer Leder

Untersuchungen zur Verbesserung der Herstellungsverfahren und der Eigenschaften technischer Leder

$44.99
Productivity Analysis at the Organizational Level

Productivity Analysis at the Organizational Level

$54.99
Die systematische Nomenklatur organischer Arzneistoffe

Die systematische Nomenklatur organischer Arzneistoffe

$49.99
Advanced Power Applications for System Reliability Monitoring

Advanced Power Applications for System Reliability Monitoring

$119.99
Endliche Krper

Endliche Krper

$24.99
Marxism and Criminological Theory

Marxism and Criminological Theory

$54.99
Physikalische Simulationen mit dem Personalcomputer

Physikalische Simulationen mit dem Personalcomputer

$44.99
Creating Innovation Leaders

Creating Innovation Leaders

$39.99
Umweltschutz und Unternehmensfhrung

Umweltschutz und Unternehmensfhrung

$39.99
Recent Advances in Neurotraumatology

Recent Advances in Neurotraumatology

$39.99
Mathematics for Finance

Mathematics for Finance

$74.99
Gas Measurement Technology in Theory and Practice

Gas Measurement Technology in Theory and Practice

$249.99
Computational Science - ICCS 2006

Computational Science - ICCS 2006

$169.99
Juguemos en el bosque mientras el lobo no est

Juguemos en el bosque mientras el lobo no est

$4.49
Fnfstellige Tabellen zu den Elliptischen Funktionen / Five Place Tables of Elliptical Functions

Fnfstellige Tabellen zu den Elliptischen Funktionen / Five Place Tables of Elliptical Functions

$39.99
Permanent vernetzt

Permanent vernetzt

$69.99
African Football, Identity Politics and Global Media Narratives

African Football, Identity Politics and Global Media Narratives

$54.99
Grid and Distributed Computing

Grid and Distributed Computing

$84.99
Demography: An Introduction to Population Studies

Demography: An Introduction to Population Studies

$84.99
Phase II Clinical Development of New Drugs

Phase II Clinical Development of New Drugs

$129.99
Bilanzanalyse und Bilanzkritik

Bilanzanalyse und Bilanzkritik

$44.99
Theorie und Praxis des Mentalen Trainings in der Klavierpdagogik

Theorie und Praxis des Mentalen Trainings in der Klavierpdagogik

$74.99
Normatives Entscheiden

Normatives Entscheiden

$17.99
Zweimodale hierarchische Clusteranalyse

Zweimodale hierarchische Clusteranalyse

$69.99
Graphene Nanoelectronics

Graphene Nanoelectronics

$169.99
Riesz Transforms, Hodge-Dirac Operators and Functional Calculus for Multipliers

Riesz Transforms, Hodge-Dirac Operators and Functional Calculus for Multipliers

$64.99
Neurohumoral Regulation of Coronary Flow

Neurohumoral Regulation of Coronary Flow

$84.99
Palestinians in the Israeli Labor Market

Palestinians in the Israeli Labor Market

$54.99
Role of Autophagy and Reactive Oxygen Species in Cancer Treatment

Role of Autophagy and Reactive Oxygen Species in Cancer Treatment

$219.99
Green Approaches in Building Design and Management Practices

Green Approaches in Building Design and Management Practices

$119.00
Transendoscopic Ultrasound for Neurosurgery

Transendoscopic Ultrasound for Neurosurgery

$169.00
Cabinets in Western Europe

Cabinets in Western Europe

$54.99
Intraoperative Irradiation

Intraoperative Irradiation

$219.99
Tips and Techniques in Laparoscopic Surgery

Tips and Techniques in Laparoscopic Surgery

$189.00
Probability

Probability

$84.99
previous
next