Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings: 936 (Lecture Notes in Computer Science, 936) - Image 1

£59.92

Springer Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings: 936 (Lecture Notes in Computer Science, 936)

Name: Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings: 936 (Lecture Notes in Computer Science, 936)
Brand: Springer
Price: 64.6 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 39 days • 7 price levels

Days at Price

Current Price

Price Analysis

Most common price: £55 (9 days, 23.1%)

Price range: £55 - £65

Price levels: 7 different prices over 39 days

Description

This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada in July 1995. It includes full papers or extended abstracts of the invited talks, refereed selected contributions, and research prototype tools. The invited speakers are David Gries, Jeanette Wing, Dan Craigen, Ted Ralston, Ewa Orlowska, Krzysztof Apt, Joseph Goguen, and Rohit Parikh. The 29 refereed papers presented were selected from some 100 submissions; they are organized in sections on algebraic and logical foundations, concurrent and reactive systems, software technology, logic programming and databases.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3540600434
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 21 May 1995
Listed Since: 16 December 2006

Barcode

No barcode data available

Springer Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings: 936 (Lecture Notes in Computer Science, 936)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Practice and Theory of Automated Timetabling: First International Conference, Edinburgh, UK, August 29 - September 1, 1995. Selected Papers: 1153 (Lecture Notes in Computer Science, 1153)

Algorithms and Data Structures: Third Workshop, WADS '93, Montreal, Canada, August 11-13, 1993. Proceedings: 709 (Lecture Notes in Computer Science, 709)

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)

Principles and Practice of Constraint Programming - CP '95: First International Conference, CP '95, Cassis, France, September 19 - 22, 1995. Proceedings: 976 (Lecture Notes in Computer Science, 976)

CRC Press Semantics of Programming Languages and Model Theory 5

TAPSOFT '93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings: 668 (Lecture Notes in Computer Science, 668)

The Impact of Emerging Technologies on Computer Science and Operations Research: 4 (Operations Research/Computer Science Interfaces Series, 4)

Modelling and Optimization of Distributed Parameter Systems Applications to engineering: Selected Proceedings of the IFIP WG7.2 on Modelling and ... in Information and Communication Technology)

Algorithms - ESA '95: Third Annual European Symposium, Corfu, Greece, September, 25 - 27, 1995. Proceedings: 979 (Lecture Notes in Computer Science, 979)

Computational Logic: 165 (NATO ASI Subseries F:, 165)

The Impact of Emerging Technologies on Computer Science and Operations Research: 4 (Operations Research/Computer Science Interfaces Series, 4)

Advanced Computational Methods for Knowledge Engineering: Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and ... in Intelligent Systems and Computing, 358)

Algorithmic Algebra and Number Theory: Selected Papers From a Conference Held at the University of Heidelberg in October 1997

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)

Logic and Foundations of Mathematics: Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, ... August 1995: 280 (Synthese Library, 280)

Computer Science 2: Research and Applications (Advances in Experimental Medicine & Biology (Springer))

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)

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)

Information Systems Architecture and Technology: Proceedings of 36th International Conference on Information Systems Architecture and Technology – ... in Intelligent Systems and Computing, 431)

Information Systems Architecture and Technology: Proceedings of 36th International Conference on Information Systems Architecture and Technology – ... in Intelligent Systems and Computing, 432)

Information Systems Architecture and Technology: Proceedings of 36th International Conference on Information Systems Architecture and Technology – ... in Intelligent Systems and Computing, 430)

Computer Science 2: Research and Applications

Graph Grammars and Their Application to Computer Science: 5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers.: 1073 (Lecture Notes in Computer Science, 1073)