Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings: 1912 (Lecture Notes in Computer Science, 1912) - Image 1

£44.16

Springer Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings: 1912 (Lecture Notes in Computer Science, 1912)

Name: Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings: 1912 (Lecture Notes in Computer Science, 1912)
Brand: Springer
Price: 44.16 GBP
Availability: InStock

Architecture & Microprocessors

About as cheap as it gets. The only time it was cheaper was 2 months ago.

£44 today · all-time low £44 (May 2026) · usually £44

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 82 days • 82 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 82 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £44 (60 days, 73.2%)

Price range: £44 - £45

Price levels: 2 different prices over 82 days

Description

This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Abstract State Machines, ASM 2000, held in Monte Verita, Switzerland in March 2000. The 12 revised full papers presented were carefully reviewed and selected from 30 submissions. Also included are an introductory overview, two reports on industrial ASM applications, as well as six contributions based on invited talks. All in all, the volume competently presents the state of the art in research and applications of abstract state machines.

Product Specifications

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

Barcode

No barcode data available

Springer Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings: 1912 (Lecture Notes in Computer Science, 1912)

About as cheap as it gets. The only time it was cheaper was 2 months ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Modeling Software with Finite State Machines: A Practical Approach

Modeling Software with Finite State Machines: A Practical Approach

Automata Implementation: First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers: 1260 (Lecture Notes in Computer Science, 1260)

Automatic Verification of Sequential Infinite-State Processes: 1354 (Lecture Notes in Computer Science, 1354)

Automata, Logics, and Infinite Games: A Guide to Current Research: 2500 (Lecture Notes in Computer Science, 2500)

Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series)

Microprogrammed State Machine Design

Digital System Design using FSMs: A Practical Learning Approach

Finite-State Techniques: Automata, Transducers and Bimachines: 60 (Cambridge Tracts in Theoretical Computer Science, Series Number 60)

Computer–Aided Verification of Coordinating Processes – The Automata–Theoretic Approach (Princeton Series in Computer Science)

From Boolean Logic to Switching Circuits and Automata: Towards Modern Information Technology: 335 (Studies in Computational Intelligence, 335)

Springer Logic Synthesis for FSM-Based Control Units (Vol 53)

STACS 93: 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings: 665 (Lecture Notes in Computer Science, 665)

Logic and Automata: History and Perspectives: 2 (Texts in Logic and Games)

Finite Automata, Formal Logic, and Circuit Complexity (Progress in Theoretical Computer Science)

Modeling Companion for Software Practitioners

Automata and Languages (Oxford Science Publications)

Implementation and Application of Automata: 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023, Proceedings: 14151 (Lecture Notes in Computer Science, 14151)

Automata and Computability (Undergraduate Texts in Computer Science)

Handbook of Process Algebra

Understanding Concurrent Systems (Texts in Computer Science)

Introduction to Discrete Event Systems

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I: 9134 (Lecture Notes in Computer Science, 9134)