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

£95.37

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

Name: Algebraic Methodology and Software Technology: 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings: 1349 (Lecture Notes in Computer Science, 1349)
Brand: Springer
Price: 89.03 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 89 days • 89 data points

Historical

Generating forecast...

Price Distribution

Price distribution over 89 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £89 (85 days, 95.5%)

Price range: £89 - £96

Price levels: 3 different prices over 89 days

Description

This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Methodology and Software Engineering, AMAST'97, held in Sydney, Australia, in December 1997. The volume presents 48 revised full papers selected from an unusually high number of submissions. One of the outstanding features of AMAST is its mix of serious mathematical development of formal methods in software engineering with practical concerns, tools, case studies, and industrial development. The volume addresses all current aspects of formal methods in software engineering and programming methodology, with a certain emphasis on algebraic and logical foundations.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3540638881
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 01 December 1997
Listed Since: 10 December 2006

Barcode

No barcode data available

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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)

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

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)

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)

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International ... (Lecture Notes in Computer Science, 15220)

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II: 14934 (Lecture Notes in Computer Science, 14934)

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

AI Technologies for Information Systems and Management Science: Proceedings of 6th International Conference on Information Systems and Management ... (Lecture Notes in Networks and Systems, 1136)

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)

Computational Methods in Systems Biology: 22nd International Conference, CMSB 2024, Pisa, Italy, September 16–18, 2024, Proceedings: 14971 (Lecture Notes in Computer Science, 14971)

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)

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

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

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

Next Generation Arithmetic: 5th International Conference, CoNGA 2024, Sydney, NSW, Australia, February 20–21, 2024, Proceedings: 14666 (Lecture Notes in Computer Science, 14666)

Information Security and Privacy: 29th Australasian Conference, ACISP 2024, Sydney, NSW, Australia, July 15–17, 2024, Proceedings, Part I: 14895 (Lecture Notes in Computer Science, 14895)

Provable and Practical Security: 18th International Conference, ProvSec 2024, Gold Coast, QLD, Australia, September 25–27, 2024, Proceedings, Part I: 14903 (Lecture Notes in Computer Science, 14903)

Computational Data and Social Networks: 13th International Conference, CSoNet 2024, Bangkok, Thailand, December 16–18, 2024, Proceedings: 15417 (Lecture Notes in Computer Science, 15417)

Knowledge Engineering and Knowledge Management: 24th International Conference, EKAW 2024, Amsterdam, The Netherlands, November 26–28, 2024, ... (Lecture Notes in Computer Science, 15370)

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)

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)

International Conference on Signal, Machines, Automation, and Algorithm: Proceedings of SIGMAA 2023, Volume 2: 1461 (Advances in Intelligent Systems and Computing, 1461)

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)