.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Algebraic Methodology and Software Technology
Michael Johnson
€ 72.29
FREE Delivery in Ireland
Description for Algebraic Methodology and Software Technology
Paperback. Includes the refereed proceedings of the 11th International Conference on Algebraic Methodology and Software Technology. This book offers coverage that includes issues in formal methods related to algebraic approaches and to software engineering including abstract data types, process algebras, algebraic specification, model checking, and more. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 404 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 570.
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- ... Read more
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- ... Read more
Product Details
Format
Paperback
Publication date
2006
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
404
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
392
Place of Publication
Berlin, Germany
ISBN
9783540356332
SKU
V9783540356332
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Algebraic Methodology and Software Technology