Description: Algebraic Methodology and Software Technology (AMAST93) by Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo Estimated delivery 3-12 business days Format Paperback Condition Brand New Description The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development. Publisher Description This volume contains papers presented at the Third International Conference on Algebraic Methodology and Software Technology (AMAST93), held at the University of Twente, the Netherlands, 21-25 June 1993. The AMAST conferences aim to promote the use of algebraic methodology as a foundation for software technology, and to examine how universal algebra can provide practical mathematical alternatives to the ad hoc methods commonly used in software development. They are the only conferences to focus specifically on this important area of research. The resulting volume covers a variety of software development issues, and testifies to the versatility of algebraic methods when used as conceptual tools in the software development process. The papers present original research in a range of areas, and include a distinguished collection of invited papers by leading researchers in the field. The volume also includes descriptions of six software systems which have been developed using algebraic methods, techniques and tools.Among the topics covered in this volume are: Algebraic metamathematics; Functional programming; Category theory in software engineering; Modular system design; Real-time system specification; Testing theory and applications; Algebraic semantics of concurrency; Modal logics and reactive systems; Design and refinement principles; Equational and logic programming; Algebraic specification in software engineering. Details ISBN 3540198520 ISBN-13 9783540198529 Title Algebraic Methodology and Software Technology (AMAST93) Author Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo Format Paperback Year 1993 Pages 416 Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG GE_Item_ID:143768073; About Us Grand Eagle Retail is the ideal place for all your shopping needs! With fast shipping, low prices, friendly service and over 1,000,000 in stock items - you're bound to find what you want, at a price you'll love! Shipping & Delivery Times Shipping is FREE to any address in USA. Please view eBay estimated delivery times at the top of the listing. Deliveries are made by either USPS or Courier. We are unable to deliver faster than stated. International deliveries will take 1-6 weeks. NOTE: We are unable to offer combined shipping for multiple items purchased. This is because our items are shipped from different locations. Returns If you wish to return an item, please consult our Returns Policy as below: Please contact Customer Services and request "Return Authorisation" before you send your item back to us. Unauthorised returns will not be accepted. Returns must be postmarked within 4 business days of authorisation and must be in resellable condition. Returns are shipped at the customer's risk. We cannot take responsibility for items which are lost or damaged in transit. For purchases where a shipping charge was paid, there will be no refund of the original shipping charge. Additional Questions If you have any questions please feel free to Contact Us. Categories Baby Books Electronics Fashion Games Health & Beauty Home, Garden & Pets Movies Music Sports & Outdoors Toys
Price: 67.23 USD
Location: Fairfield, Ohio
End Time: 2025-01-21T03:10:37.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
ISBN-13: 9783540198529
Book Title: Algebraic Methodology and Software Technology (AMAST93)
Number of Pages: Xiv, 416 Pages
Language: English
Publication Name: Algebraic Methodology and Software Technology (Amst'91)
Publisher: Springer London, The Limited
Subject: Software Development & Engineering / General, Computer Science
Publication Year: 1993
Item Weight: 25 Oz
Type: Textbook
Subject Area: Computers
Item Length: 9.3 in
Author: British Computer Society Staff
Item Width: 6.1 in
Series: Workshops in Computing Ser.
Format: Trade Paperback
