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

Architecture & Microprocessors

This is the usual price. Wait for it to drop, or tell us your number.

£95 today · usual range £89–£96 · best ever £89

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

Historical

Generating forecast...

Price Distribution

Price distribution over 59 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £89 (38 days, 64.4%)

Price range: £89 - £96

Price levels: 3 different prices over 59 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)

This is the usual price. Wait for it to drop, or tell us your number.

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)

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)

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

Cybernetics and Mathematics Applications in Intelligent Systems: Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 2: ... in Intelligent Systems and Computing, 574)

Logic and Algebra of Specification: 94 (NATO ASI Subseries F:, 94)

Logic and Algebra of Specification: 94 (NATO ASI Subseries F:, 94)

Advanced Computational Methods for Knowledge Engineering: Proceedings of the 6th International Conference on Computer Science, Applied Mathematics and ... in Intelligent Systems and Computing, 1121)

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

Advanced Methods and Applications in Computational Intelligence: 6 (Topics in Intelligent Engineering and Informatics, 6)

Programming Concepts and Methods PROCOMET ’98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 ... in Information and Communication Technology)

Computational Statistics and Mathematical Modeling Methods in Intelligent Systems: Proceedings of 3rd Computational Methods in Systems and Software ... in Intelligent Systems and Computing, 1047)

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)

Advanced Microsystems for Automotive Applications 2000 (VDI-Buch)

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97 (IFIP Advances in Information and Communication Technology)

Proceedings of the 1997 World Marketing Congress (Developments in Marketing Science: Proceedings of the Academy of Marketing Science)

Proceedings of the 1997 World Marketing Congress (Developments in Marketing Science: Proceedings of the Academy of Marketing Science)

Algorithms and Data Structures: 17th International Symposium, WADS 2021, Virtual Event, August 9–11, 2021, Proceedings: 12808 (Lecture Notes in Computer Science, 12808)

Advanced Information Systems Engineering: 29th International Conference, CAiSE 2017, Essen, Germany, June 12-16, 2017, Proceedings: 10253 (Lecture Notes in Computer Science, 10253)

Software Engineering Research, Management and Applications: 722 (Studies in Computational Intelligence, 722)

Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings: 14000 (Lecture Notes in Computer Science, 14000)

Simulation and Modeling Methodologies, Technologies and Applications: 7th International Conference, SIMULTECH 2017 Madrid, Spain, July 26–28, 2017 ... in Intelligent Systems and Computing, 873)

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

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97 (IFIP Advances in Information and Communication Technology)

Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings: 12846 (Lecture Notes in Computer Science, 12846)