Items related to Recent Trends in Algebraic Development Techniques:...
Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3423) - Softcover
This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT 2004 focussed on the algebraic approach to the speci?cation and development of systems, an area that was born around the algebraic speci?cation of abstract data types and encompasses today the formal design of software systems, new speci?cation frameworks and a wide range of application areas. WADT 2004 took place at the Technical University of Catalonia (UPC), Barcelona, Spain, on 27-29 March 2004, and was organized by Fernando Orejas and Jordi Cortadella. ´ The program consisted of invited talks by Luis Caires (Universidade Nova de Lisboa, Portugal) and Reiko Heckel (University of Paderborn, Germany), and 33 presentations describing ongoing research on main topics of the workshop: formal methods for system development, speci?cation languages and methods, systems and techniques for reasoning about speci?cations, speci?cation devel- ment systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2005
- ISBN 10 3540253270
- ISBN 13 9783540253273
- BindingPaperback
- Number of pages288
- EditorFiadeiro José Luiz, Mosses Peter, Orejas Fernando
Buy New
Learn more about this copy
US$ 55.26
Shipping:
FREE
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Seller Image
Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers (Lecture Notes in Computer Science (3423)) by Orejas, Fernando, Fiadeiro, Luiz, Mosses, Peter [Paperback ]
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9783540253273
Buy New
US$ 55.26
Convert currency
Stock Image
Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3423)
Published by
Springer
(2005)
ISBN 10: 3540253270
ISBN 13: 9783540253273
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020164143
Buy New
US$ 59.29
Convert currency
Stock Image
Recent Trends in Algebraic Development Techniques : 17th International Workshop; WADT 2004; Barcelona; Spain; March 27-29; 2004; Revised Selected Papers
Published by
Springer
(2005)
ISBN 10: 3540253270
ISBN 13: 9783540253273
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540253273_lsuk
Buy New
US$ 64.58
Convert currency
Seller Image
Recent Trends in Algebraic Development Techniques
Published by
Springer Berlin Heidelberg Mrz 2005
(2005)
ISBN 10: 3540253270
ISBN 13: 9783540253273
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT 2004 focussed on the algebraic approach to the speci cation and development of systems, an area that was born around the algebraic speci cation of abstract data types and encompasses today the formal design of software systems, new speci cation frameworks and a wide range of application areas. WADT 2004 took place at the Technical University of Catalonia (UPC), Barcelona, Spain, on 27 29 March 2004, and was organized by Fernando Orejas and Jordi Cortadella. The program consisted of invited talks by Luis Caires (Universidade Nova de Lisboa, Portugal) and Reiko Heckel (University of Paderborn, Germany), and 33 presentations describing ongoing research on main topics of the workshop: formal methods for system development, speci cation languages and methods, systems and techniques for reasoning about speci cations, speci cation devel- ment systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations. 288 pp. Englisch. Seller Inventory # 9783540253273
Buy New
US$ 58.96
Convert currency
Seller Image
Recent Trends in Algebraic Development Techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
Published by
Springer Berlin Heidelberg
(2005)
ISBN 10: 3540253270
ISBN 13: 9783540253273
New
Taschenbuch
Quantity: 1
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT 2004 focussed on the algebraic approach to the speci cation and development of systems, an area that was born around the algebraic speci cation of abstract data types and encompasses today the formal design of software systems, new speci cation frameworks and a wide range of application areas. WADT 2004 took place at the Technical University of Catalonia (UPC), Barcelona, Spain, on 27 29 March 2004, and was organized by Fernando Orejas and Jordi Cortadella. The program consisted of invited talks by Luis Caires (Universidade Nova de Lisboa, Portugal) and Reiko Heckel (University of Paderborn, Germany), and 33 presentations describing ongoing research on main topics of the workshop: formal methods for system development, speci cation languages and methods, systems and techniques for reasoning about speci cations, speci cation devel- ment systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations. Seller Inventory # 9783540253273
Buy New
US$ 62.22
Convert currency
Stock Image
Recent Trends in Algebraic Development Techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Pape
Seller:
Rating
Book Description PF. Condition: New. Seller Inventory # 6666-IUK-9783540253273
Buy New
US$ 83.00
Convert currency
Seller Image
Recent Trends in Algebraic Development Techniques
Published by
Springer Berlin Heidelberg
(2005)
ISBN 10: 3540253270
ISBN 13: 9783540253273
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Invited Technical Paper.- Behavior-Preserving Refinement Relations Between Dynamic Software Architectures.- Contributed Papers.- Modelling Mobility with Petri Hypernets.- Cryptomorphisms at Work.- Towards a Formal Specification of an Electronic Payment Syst. Seller Inventory # 4886457
Buy New
US$ 53.32
Convert currency