About this title: This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996. The book presents 25 revised full papers selected from a total of 67 submissions and 23 system demonstrations; also included are six invited talks and six invited ...
read more
Note: This is a general synopsis. Each listing is described below.
Binding: Paperback
Publisher: Springer
Date Published: 1996
ISBN-13:9783540614630ISBN:354061463X
Description: New. BRAND NEW and ready for dispatch. Delivery normally within 4/7 days. Our reputation is built on our Speedy Delivery Service and our Customer Service Team. read more
Binding: Paperback
Publisher: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG Country = GERMANY
Date Published: 1996
ISBN-13:9783540614630ISBN:354061463X
Description: BRAND NEW PAPERBACK. 653 pages. This book is printed on demand (allow 1-2 weeks for printing) these conference proceedings (25 revised full papers, 23 system demonstrations) are organized into sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logic programming and term rewriting, and algebraic and logical foundations. (Paperback) read more
Description: Very Good. 354061463X Very Good ex-academic library copy nicely rebound as sturdy hardcover, preserving original covers; usual minor library marks and discard rubber stamps; interior is very clean and intact with no marks; binding slightly cocked; covers very clean and intact. read more
Binding: Paperback
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Berlin; New York
Date Published: Jun 1996 1996
ISBN-13:9783540614630ISBN:354061463X
Description: Very Good. Ships from friendly & experienced UK bookseller. £0.25 donated to charity. Ex-library, but in very good condition. light. pp. 641. 24 cm. read more
Description: New. PLEASE NOTE: All books are promptly imported from the UK using DHL or Royal Mail international mail WITH TRACKING NUMBER. Print on demand title. D elivery is typically 5-10 working days. Please do not select expedited shipping. Professional and reliable bookseller (est.1987). read more
Binding: Paperback
Publisher: Springer
Date Published: 2008
ISBN-13:9783540614630ISBN:354061463X
Description: New. These conference proceedings (25 revised full papers, 23 system demonstrations) are organized into sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logic programming and term rewriting, and a... read more
Description: New. PLEASE NOTE: All books are promptly shipped from our UK warehouse using Royal Mail or DHL. International Priority mail for non-UK deliveries. Print on demand title. Delivery is typically 3-5 working days for UK delivery. Heavier or more expensive books are shipped with a TRACKING NUMBER. Professional and reliable bookseller (est.1987). read more
We guarantee every item's condition, as described on Alibris. If you are not satisfied that an item is as described, return your purchase for a refund.
