Algebraic Methodology and Software Technology: 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings (Lecture Notes in Computer Science, 1548) - Softcover
AMAST’s goal is to advance awareness of algebraic and logical methodology as part of the fundamental basis of software technology. Ten years and seven conferences after the start of the AMAST movement, I believe we are attaining this. The movement has propagated throughout the world, assembling many enthusiastic specialists who have participated not only in the conferences, which are now annual, but also in the innumerable other activities that AMAST promotes and supports. We are now facing the Seventh International Conference on Algebraic Methodology and Software Technology (AMAST’98). The previous meetings were held in Iowa City, USA (1989 and 1991), in Enschede, The Netherlands (1993), in Montreal, Canada (1995), in Munich, Germany (1996), and in Sydney, Australia (1997). This time it is Brazil’s turn, in a very special part of this colorful country – Amazonia. Thus, “if we have done more it is by standing on the shoulders of giants.” The effort started by Teodor Rus, Arthur Fleck, and William A. Kirk at AMAST’89 was consolidated in AMAST'91 by Teodor Rus, Maurice Nivat, Charles Rattray, and Giuseppe Scollo. Then came modular construction of the building, wonderfully carried out by Giuseppe Scollo, Vangalur Alagar, Martin Wirsing, and Michael Johnson, as Program Chairs of the AMAST conferences held between 1993 and 1997.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1998
- ISBN 10 3540654623
- ISBN 13 9783540654629
- BindingPaperback
- Number of pages552
- EditorHaeberer Armando M.
Buy New
Learn more about this copy
US$ 61.90
Shipping:
FREE
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Seller Image
Algebraic Methodology and Software Technology: 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings (Lecture Notes . (Lecture Notes in Computer Science (1548)) [Soft Cover ]
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9783540654629
Buy New
US$ 61.90
Convert currency
Stock Image
Algebraic Methodology and Software Technology: 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings (Lecture Notes in Computer Science, 1548)
Published by
Springer
(1998)
ISBN 10: 3540654623
ISBN 13: 9783540654629
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020173775
Buy New
US$ 59.75
Convert currency
Stock Image
Algebraic Methodology and Software Technology : 7th International Conference; AMAST'98; Amazonia; Brazil; January 4-8; 1999; Proceedings
Published by
Springer
(1998)
ISBN 10: 3540654623
ISBN 13: 9783540654629
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540654629_lsuk
Buy New
US$ 64.60
Convert currency
Seller Image
Algebraic Methodology and Software Technology : 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings
Published by
Springer Berlin Heidelberg
(1998)
ISBN 10: 3540654623
ISBN 13: 9783540654629
New
Taschenbuch
Quantity: 1
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - AMAST's goal is to advance awareness of algebraic and logical methodology as part of the fundamental basis of software technology. Ten years and seven conferences after the start of the AMAST movement, I believe we are attaining this. The movement has propagated throughout the world, assembling many enthusiastic specialists who have participated not only in the conferences, which are now annual, but also in the innumerable other activities that AMAST promotes and supports. We are now facing the Seventh International Conference on Algebraic Methodology and Software Technology (AMAST'98). The previous meetings were held in Iowa City, USA (1989 and 1991), in Enschede, The Netherlands (1993), in Montreal, Canada (1995), in Munich, Germany (1996), and in Sydney, Australia (1997). This time it is Brazil's turn, in a very special part of this colorful country - Amazonia. Thus, 'if we have done more it is by standing on the shoulders of giants.' The effort started by Teodor Rus, Arthur Fleck, and William A. Kirk at AMAST'89 was consolidated in AMAST'91 by Teodor Rus, Maurice Nivat, Charles Rattray, and Giuseppe Scollo. Then came modular construction of the building, wonderfully carried out by Giuseppe Scollo, Vangalur Alagar, Martin Wirsing, and Michael Johnson, as Program Chairs of the AMAST conferences held between 1993 and 1997. Seller Inventory # 9783540654629
Buy New
US$ 65.88
Convert currency
Seller Image
Algebraic Methodology and Software Technology
Published by
Springer Berlin Heidelberg
(1998)
ISBN 10: 3540654623
ISBN 13: 9783540654629
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # 4897225
Buy New
US$ 53.54
Convert currency
Seller Image
Algebraic Methodology and Software Technology
Published by
Springer Berlin Heidelberg Dez 1998
(1998)
ISBN 10: 3540654623
ISBN 13: 9783540654629
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -AMAST's goal is to advance awareness of algebraic and logical methodology as part of the fundamental basis of software technology. Ten years and seven conferences after the start of the AMAST movement, I believe we are attaining this. The movement has propagated throughout the world, assembling many enthusiastic specialists who have participated not only in the conferences, which are now annual, but also in the innumerable other activities that AMAST promotes and supports. We are now facing the Seventh International Conference on Algebraic Methodology and Software Technology (AMAST'98). The previous meetings were held in Iowa City, USA (1989 and 1991), in Enschede, The Netherlands (1993), in Montreal, Canada (1995), in Munich, Germany (1996), and in Sydney, Australia (1997). This time it is Brazil's turn, in a very special part of this colorful country - Amazonia. Thus, 'if we have done more it is by standing on the shoulders of giants.' The effort started by Teodor Rus, Arthur Fleck, and William A. Kirk at AMAST'89 was consolidated in AMAST'91 by Teodor Rus, Maurice Nivat, Charles Rattray, and Giuseppe Scollo. Then came modular construction of the building, wonderfully carried out by Giuseppe Scollo, Vangalur Alagar, Martin Wirsing, and Michael Johnson, as Program Chairs of the AMAST conferences held between 1993 and 1997. 552 pp. Englisch. Seller Inventory # 9783540654629
Buy New
US$ 118.43
Convert currency