Theoretical Aspects of Computer Software: Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings: 1281 (Lecture Notes in Computer Science, 1281) - Image 1

£84.06

Springer Theoretical Aspects of Computer Software: Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings: 1281 (Lecture Notes in Computer Science, 1281)

Name: Theoretical Aspects of Computer Software: Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings: 1281 (Lecture Notes in Computer Science, 1281)
Brand: Springer
Price: 84.06 GBP
Availability: InStock

Architecture & Microprocessors

It has never been this cheap. We have no record of a lower price.

£84 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 81 days · 81 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 81 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £88 (60 days, 74.1%)

Price range: £84 - £89

Price levels: 4 different prices over 81 days

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.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 354063388X
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 27 August 1997
Listed Since: 16 December 2006

Barcode

No barcode data available

Springer Theoretical Aspects of Computer Software: Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings: 1281 (Lecture Notes in Computer Science, 1281)

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

STACS 95: 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995. Proceedings: 900 (Lecture Notes in Computer Science, 900)

Algorithmic Number Theory: Third International Symposium, ANTS-III, Portland, Orgeon, USA, June 21-25, 1998, Proceedings: 1423 (Lecture Notes in Computer Science, 1423)

Computer Aided Systems Theory - EUROCAST '97: A Selection of Papers from the Sixth International Workshop on Computer Aided Systems Theory, Las Palmas ... (Lecture Notes in Computer Science, 1333)

Mathematical Foundations of Computer Science 2006: 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, ... (Lecture Notes in Computer Science, 4162)

Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001: 3 (Semantics Structures in Computation, 3)

Algebraic Methodology and Software Technology: 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings: 1349 (Lecture Notes in Computer Science, 1349)

Mathematical Foundations of Computer Science 2000: 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 ... (Lecture Notes in Computer Science, 1893)

THEORETICAL COMPUTER SCIENCE - PROCEEDINGS OF THE 10TH ITALIAN CONFERENCE ON ICTCS '07

Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings: 13474 (Lecture Notes in Computer Science, 13474)

Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers: 4502 (Lecture Notes in Computer Science, 4502)

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... (Lecture Notes in Computer Science, 10895)

Algorithms and Computation: 12th International Symposium, ISAAC 2001, Christchurch, New Zealand, December 19-21, 2001. Proceedings: 2223 (Lecture Notes in Computer Science, 2223)

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive ... II: Mathematics, Physics and Chemistry, 195)

Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings: 13290 (Lecture Notes in Computer Science, 13290)

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing: 721 (Studies in Computational Intelligence, 721)

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing: 721 (Studies in Computational Intelligence, 721)

Intelligent Systems Applications in Software Engineering: Proceedings of 3rd Computational Methods in Systems and Software 2019, Vol. 1: 1046 (Advances in Intelligent Systems and Computing, 1046)

Semantic Integration of Heterogeneous Software Specifications (Monographs in Theoretical Computer Science. An EATCS Series)

Advances in Spatial and Temporal Databases: 8th International Symposium, SSTD 2003, Santorini Island, Greece, July 24 - 27, 2003. Proceedings: 2750 (Lecture Notes in Computer Science, 2750)

Algorithms and Computation: 4th International Symposium, ISAAC '93, Hong Kong, December 15-17, 1993. Proceedings: 762 (Lecture Notes in Computer Science, 762)

Rough Sets and Current Trends in Computing: Second International Conference, RSCTC 2000 Banff, Canada, October 16-19, 2000 Revised Papers: 2005 (Lecture Notes in Computer Science, 2005)

New Trends in Computer Technologies and Applications: 23rd International Computer Symposium, ICS 2018, Yunlin, Taiwan, December 20–22, 2018, Revised ... in Computer and Information Science, 1013)

Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... (Lecture Notes in Computer Science, 8559)

Applications and Science in Soft Computing: 24 (Advances in Intelligent and Soft Computing, 24)