0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Applied mathematics

Buy Now

Algebraic Methodology and Software Technology - 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings (Paperback, 1995 ed.) Loot Price: R2,911
Discovery Miles 29 110
Algebraic Methodology and Software Technology - 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995....

Algebraic Methodology and Software Technology - 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings (Paperback, 1995 ed.)

V.S. Alagar, Maurice Nivat

Series: Lecture Notes in Computer Science, 936

 (sign in to rate)
Loot Price R2,911 Discovery Miles 29 110 | Repayment Terms: R273 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 working days

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.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 936
Release date: May 1995
First published: 1995
Editors: V.S. Alagar • Maurice Nivat
Dimensions: 235 x 155 x 31mm (L x W x T)
Format: Paperback
Pages: 597
Edition: 1995 ed.
ISBN-13: 978-3-540-60043-5
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > Computer programming > Software engineering
Books > Science & Mathematics > Mathematics > Applied mathematics > General
Promotions
LSN: 3-540-60043-4
Barcode: 9783540600435

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Basic mathematics for economics students…
Derek Yu Paperback R420 Discovery Miles 4 200
Microfluidics - Modeling, Mechanics and…
Bastian E. Rapp Paperback R6,385 Discovery Miles 63 850
Stochastic Analysis of Mixed Fractional…
Yuliya Mishura, Mounir Zili Hardcover R2,736 R2,573 Discovery Miles 25 730
Dark Silicon and Future On-chip Systems…
Suyel Namasudra, Hamid Sarbazi-Azad Hardcover R3,940 Discovery Miles 39 400
Quantifying and Managing Soil Functions…
Donald L. Sparks Hardcover R4,220 Discovery Miles 42 200
Mathematics For Engineering Students
Ramoshweu Solomon Lebelo, Radley Kebarapetse Mahlobo Paperback R397 Discovery Miles 3 970
New Trends in the Physics and Mechanics…
Martine Ben Amar, Alain Goriely, … Hardcover R2,505 Discovery Miles 25 050
Modelling and Control in Biomedical…
David Dagan Feng, Janan Zaytoon Paperback R2,376 R2,252 Discovery Miles 22 520
Creating Materials with a Desired…
Alexander G. Ramm Paperback R750 Discovery Miles 7 500
Exploring Quantum Mechanics - A…
Victor Galitski, Boris Karnakov, … Hardcover R6,101 Discovery Miles 61 010
Infinite Words, Volume 141 - Automata…
Dominique Perrin, Jean-Eric Pin Hardcover R4,065 Discovery Miles 40 650
Stochastic Processes - Estimation…
Kaddour Najim, Enso Ikonen, … Hardcover R4,310 Discovery Miles 43 100

See more

Partners