Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings: 1816 (Lecture Notes in Computer Science, 1816) - Image 1

£57.80

Springer Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings: 1816 (Lecture Notes in Computer Science, 1816)

Name: Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings: 1816 (Lecture Notes in Computer Science, 1816)
Brand: Springer
Price: 89.31 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 89 days • 89 data points

Historical

Generating forecast...

Price Distribution

Price distribution over 89 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £89 (55 days, 61.8%)

Price range: £46 - £90

Price levels: 4 different prices over 89 days

Description

The AMAST movement was initiated in 1989 with the First International C- ference on Algebraic Methodology and Software Technology (AMAST), held on May 21{23in Iowa City, Iowa,and aimed at setting the development of software technology on a mathematical basis. The virtue of the software technology en- sioned by AMAST is the capability to produce software that has the following properties: (a) it is correct and its correctness can be proved mathematically, (b) it is safe, such that it can be used in the implementation of critical systems, (c) it is portable, i. e. , it is independent of computing platforms and language generations, and (d) it is evolutionary, i. e. , it is self-adaptable and evolves with the problem domain. Ten years later a myriad of workshops, conferences, and researchprogramsthat sharethe goalsof the AMAST movementhaveoccurred. This can be taken as proof that the AMAST vision is right. However, often the myriad of workshops, conferences, and research programs lack the clear obj- tives and the coordination of their goals towards the software technology en- sioned by AMAST. This can be taken as a proof that AMAST is still necessary.

Product Specifications

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

Barcode

No barcode data available

Springer Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings: 1816 (Lecture Notes in Computer Science, 1816)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

AMST'99 - Advanced Manufacturing Systems and Technology: Proceedings of the Fifth International Conference: 406 (CISM International Centre for Mechanical Sciences, 406)

Asynchronous Many-Task Systems and Applications: Third International Workshop, WAMTA 2025, St. Louis, MO, USA, February 19–21, 2025, Proceedings: 15690 (Lecture Notes in Computer Science, 15690)

Advanced Data Mining and Applications: 21st International Conference, ADMA 2025, Kyoto, Japan, October 22–24, 2025, Proceedings, Part I (Lecture Notes in Computer Science, 16197)

Computer Aided Systems Theory – EUROCAST 2024: 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised ... (Lecture Notes in Computer Science, 15173)

Computer Performance Engineering and Stochastic Modelling: 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, ... (Lecture Notes in Computer Science, 14231)

Models and Tools for Managing Development Processes: 1646 (Lecture Notes in Computer Science, 1646)

Mathematical Methods for Engineering Applications: ICMASE 2023, Madrid, Spain, July 12–14: 439 (Springer Proceedings in Mathematics & Statistics, 439)

Advanced Data Mining and Applications: 20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3–5, 2024, Proceedings, Part VI: 15392 (Lecture Notes in Computer Science, 15392)

Fundamentals of Software Engineering: 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7–8, 2025, Proceedings: 15593 (Lecture Notes in Computer Science, 15593)

Reuse and Software Quality: 21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19–20, 2024, Proceedings: 14614 (Lecture Notes in Computer Science, 14614)

13th International Conference on Theory and Application of Fuzzy Systems and Soft Computing ― ICAFS-2018: 896 (Advances in Intelligent Systems and Computing, 896)

European Congress of Mathematics: Barcelona, July 10–14, 2000, Volume I: 201 (Progress in Mathematics, 201)

Passive and Active Measurement: 26th International Conference, PAM 2025, Virtual Event, March 10–12, 2025, Proceedings: 15567 (Lecture Notes in Computer Science, 15567)

Algorithmic Decision Theory: 8th International Conference, ADT 2024, New Brunswick, NJ, USA, October 14–16, 2024, Proceedings: 15248 (Lecture Notes in Computer Science, 15248)

Theory and Application of Diagrams: First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000 Proceedings: 1889 (Lecture Notes in Computer Science, 1889)

Advances in Cryptology – ASIACRYPT 2025: 31st International Conference on the Theory and Application of Cryptology and Information Security, ... (Lecture Notes in Computer Science, 16247)

Engineering of Complex Computer Systems: 29th International Conference, ICECCS 2025, Hangzhou, China, July 2–4, 2025, Proceedings: 15746 (Lecture Notes in Computer Science, 15746)

Database Systems for Advanced Applications. DASFAA 2024 International Workshops: BDMS, GDMA, BDQM and ERDSE, Gifu, Japan, July 2-5, 2024, Proceedings: 14667 (Lecture Notes in Computer Science, 14667)

Advanced Intelligent Computing in Bioinformatics: 20th International Conference, ICIC 2024, Tianjin, China, August 5–8, 2024, Proceedings, Part I: 14881 (Lecture Notes in Computer Science, 14881)

Wireless Artificial Intelligent Computing Systems and Applications: 18th International Conference, WASA 2024, Qindao, China, June 21–23, 2024, ... (Lecture Notes in Computer Science, 14997)

Social Networks Analysis and Mining: 16th International Conference, ASONAM 2024, Rende, Italy, September 2–5, 2024, Proceedings, Part II: 15212 (Lecture Notes in Computer Science, 15212)

Efficient Medical Artificial Intelligence: First International Workshop, EMA4MICCAI 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, ... (Lecture Notes in Computer Science, 16318)

Algorithmic Game Theory: 17th International Symposium, SAGT 2024, Amsterdam, The Netherlands, September 3–6, 2024, Proceedings: 15156 (Lecture Notes in Computer Science, 15156)