Description: Algebraic Methodology And Software Technology : 11th International Conference, Amast 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings, Paperback by Johnson, Michael (EDT); Vene, Varmo (EDT), ISBN 3540356339, ISBN-13 9783540356332, Like New Used, Free shipping in the US This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. The ?rst conference was held in the USA in 1989, and since then AMAST conferences have been held on (or near) ?ve di?erent continents and have been hosted by many of the most prominent people and organizations in the ?eld. The AMAST initiative has always sought to have practical e?ects by dev- oping the science of software and basing it on a ?rm mathematical foundation. AMAST hasinterpretedsoftwaretechnologybroadly,andhas, for example, held AMAST workshops in areas as diverse as real-time systems and (natural) l- guage processing. Similarly, algebraic methodology is interpreted broadly and includes abstract algebra, category theory, logic, and a range of other ma- ematical subdisciplines. The truly distinguishing feature of AMAST is that it seeks rigorous mathematical developments, but always strives to link them to real technological applications. Our meetings frequently include industry-based participants and are a rare opportunity for mathematicians and mathema- callymindedacademicstointeracttechnicallywithindustry-basedtechnologists. Over the years AMAST has included industrial participants from organizations specializing in safety-critical (including medical) systems, transport (including aerospace), and security-critical systems, amongst others.
Price: 68.69 USD
Location: Jessup, Maryland
End Time: 2025-01-16T23:54:53.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Algebraic Methodology And Software Technology : 11th Internationa
Number of Pages: Xii, 392 Pages
Publication Name: Algebraic Methodology and Software Technology : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
Language: English
Publisher: Springer Berlin / Heidelberg
Publication Year: 2006
Subject: Programming / General, Software Development & Engineering / General, Computer Science
Type: Textbook
Item Weight: 44.4 Oz
Subject Area: Computers
Item Length: 9.3 in
Author: Varmo Vene
Item Width: 6.1 in
Series: Lecture Notes in Computer Science Ser.
Format: Trade Paperback
