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.19

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.13 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 18 days • 18 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 18 days • 1 price levels

Days at Price

Price Analysis

Most common price: £44 (18 days, 100.0%)

Price range: £44 - £44

Price levels: 1 different prices over 18 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)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Algorithms and Computation: 11th International Conference, ISAAC 2000, Taipei, Taiwan, December 18-20, 2000. Proceedings: 1969 (Lecture Notes in Computer Science, 1969)

Foundation of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science, 1784)

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)

Intelligent Distributed Computing VI: Proceedings of the 6th International Symposium on Intelligent Distributed Computing - IDC 2012, Calabria, Italy, ... (Studies in Computational Intelligence, 446)

Intelligent Distributed Computing VI: Proceedings of the 6th International Symposium on Intelligent Distributed Computing - IDC 2012, Calabria, Italy, ... (Studies in Computational Intelligence, 446)

Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers: 6561 (Lecture Notes in Computer Science, 6561)

Intelligent Computing: Proceedings of the 2019 Computing Conference, Volume 1: 997 (Advances in Intelligent Systems and Computing, 997)

General Systems Theory: A Mathematical Approach: 12 (IFSR International Series in Systems Science and Systems Engineering, 12)

NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings: 12229 (Lecture Notes in Computer Science, 12229)

Intelligent Computing: Proceedings of the 2020 Computing Conference, Volume 1: 1228 (Advances in Intelligent Systems and Computing, 1228)

Precision Assembly Technologies and Systems: 6th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2012, Chamonix, France, February 12-15, ... and Communication Technology, 371)

Algorithms - ESA 2002: 10th Annual European Symposium, Rome, Italy, September 17-21, 2002, Proceedings: 2461 (Lecture Notes in Computer Science, 2461)

Quality of Communication-Based Systems: Proceedings of an International Workshop Held at the TU, Berlin, Germany, September 1994

Recent Advances in Intrusion Detection: Third International Workshop, RAID 2000 Toulouse, France, October 2-4, 2000 Proceedings: 1907 (Lecture Notes in Computer Science, 1907)

Formal Power Series and Algebraic Combinatorics: 12th International Conference, FPSAC’00, Moscow, Russia, June 2000, Proceedings

Applied Informatics and Cybernetics in Intelligent Systems: Proceedings of the 9th Computer Science On-line Conference 2020, Volume 3: 1226 (Advances in Intelligent Systems and Computing, 1226)

Blockchain and Applications: 2nd International Congress: 1238 (Advances in Intelligent Systems and Computing, 1238)

Recent Advances in Intuitionistic Fuzzy Logic Systems: Theoretical Aspects and Applications: 372 (Studies in Fuzziness and Soft Computing, 372)

STACS 2002: 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings: 2285 (Lecture Notes in Computer Science, 2285)

The Unified Modeling Language. <>'98: Beyond the Notation: First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers: 1618 (Lecture Notes in Computer Science, 1618)

Java and the Java Virtual Machine: Definition, Verification, Validation

Advances in Computing and Information Technology: Proceedings of the Second International Conference on Advances in Computing and Information ... in Intelligent Systems and Computing, 178)

Advances in Computing and Information Technology: Proceedings of the Second International Conference on Advances in Computing and Information ... in Intelligent Systems and Computing, 177)