Items related to Recent Trends in Algebraic Development Techniques:...
Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers (Lecture Notes in Computer Science, 1827) - Softcover
This book constitutes the thoroughly refereed post-workshop proceedings of the 14th International Workshop on Algebraic Development Techniques, WADT'99, held in Toulouse, France in September 1999. The 23 revised full papers presented together with three invited papers were carefully reviewed and selected from 69 workshop presentations. The papers address the following topics: algebraic specification and other specification formalisms, test and validation, concurrent processes applications, logic and validation, combining formalisms, subsorts and partiality, structuring, rewriting, co-algebras and sketches, refinement, institutions and categories, and ASM specifications.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2000
- ISBN 10 3540678980
- ISBN 13 9783540678984
- BindingPaperback
- Number of pages476
- EditorBert Didier, Choppy Christine, Mosses Peter
Buy New
Learn more about this copy
US$ 56.44
Shipping:
FREE
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Seller Image
Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT '99, Chateau de Bonas, September 1999 Selected Papers (Lecture . (Lecture Notes in Computer Science (1827)) [Paperback ]
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9783540678984
Buy New
US$ 56.44
Convert currency
Stock Image
Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers (Lecture Notes in Computer Science, 1827)
Published by
Springer
(2000)
ISBN 10: 3540678980
ISBN 13: 9783540678984
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020174811
Buy New
US$ 59.75
Convert currency
Stock Image
Recent Trends in Algebraic Development Techniques : 14th International Workshop; WADT '99; Chateau de Bonas; September 15-18; 1999 Selected Papers
Published by
Springer
(2000)
ISBN 10: 3540678980
ISBN 13: 9783540678984
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540678984_lsuk
Buy New
US$ 64.58
Convert currency
Seller Image
Recent Trends in Algebraic Development Techniques : 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers
Published by
Springer Berlin Heidelberg
(2000)
ISBN 10: 3540678980
ISBN 13: 9783540678984
New
Taschenbuch
Quantity: 1
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The algebraic approach to system speci cation and development, born in the 1970sas a formalmethod for abstractdata types, encompassestoday the formal design of integrated hardware and software systems, new speci cation fra- works and programming paradigms (such as object-oriented, logic, and high- order functional programming) and a wide range of application areas (including information systems, concurrent and distributed systems). Workshops on Al- braicDevelopmentTechniques,initiatedin1982asWorkshopsonAbstractData Types, have become a prominent forum to present and discuss research on this important area. The 14th International Workshop on Algebraic Development Techniques (WADT 99) took place at the Chat eau de Bonas, near Toulouse, September 15 18,1999,and was organized by Didier Bert and Christine Choppy. The main topics of the workshop were: algebraic speci cation other approaches to formal speci cation speci cation languages and methods term rewriting and proof systems speci cation development systems (concepts, tools, etc.). The program consisted of invited talks by Michel Bidoit, Manfred Broy, Bart Jacobs, Natarajan Shankar, and 69 presentations describing ongoing - search. The parallel sessions were devoted to: algebraic speci cations and other speci cation formalisms, test and validation, concurrent processes, - plications, logics and validation, combining formalisms, subsorts and parti- ity, structuring, rewriting, coalgebras and sketches, re nement, institutions and categories, ASM speci cations. There were also sessions re ecting - going research achieved in the Common Framework Initiative (CoFI, see within its di erent task groups: CASL (Common Algebraic Speci cation Language), CASL semantics, CASL tools, methodology, and reactive systems. Seller Inventory # 9783540678984
Buy New
US$ 65.60
Convert currency
Seller Image
Recent Trends in Algebraic Development Techniques
Published by
Springer Berlin Heidelberg
(2000)
ISBN 10: 3540678980
ISBN 13: 9783540678984
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 Topics.- A Type-Theoretic Memory Model for Verification of Sequential Java Programs.- From States to Histories.- Principles and Pragmatics of Subtyping in PVS.- Casl: Language, Methodology and Tools.- Extending Casl by Late Binding.- Towards an Evol. Seller Inventory # 4898458
Buy New
US$ 53.32
Convert currency
Stock Image
Recent Trends in Algebraic Development Techniques : 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers
Seller:
Rating
Book Description PF. Condition: New. Seller Inventory # 6666-IUK-9783540678984
Buy New
US$ 106.25
Convert currency
Seller Image
Recent Trends in Algebraic Development Techniques
Published by
Springer Berlin Heidelberg Sep 2000
(2000)
ISBN 10: 3540678980
ISBN 13: 9783540678984
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The algebraic approach to system speci cation and development, born in the 1970sas a formalmethod for abstractdata types, encompassestoday the formal design of integrated hardware and software systems, new speci cation fra- works and programming paradigms (such as object-oriented, logic, and high- order functional programming) and a wide range of application areas (including information systems, concurrent and distributed systems). Workshops on Al- braicDevelopmentTechniques,initiatedin1982asWorkshopsonAbstractData Types, have become a prominent forum to present and discuss research on this important area. The 14th International Workshop on Algebraic Development Techniques (WADT 99) took place at the Chat eau de Bonas, near Toulouse, September 15 18,1999,and was organized by Didier Bert and Christine Choppy. The main topics of the workshop were: algebraic speci cation other approaches to formal speci cation speci cation languages and methods term rewriting and proof systems speci cation development systems (concepts, tools, etc.). The program consisted of invited talks by Michel Bidoit, Manfred Broy, Bart Jacobs, Natarajan Shankar, and 69 presentations describing ongoing - search. The parallel sessions were devoted to: algebraic speci cations and other speci cation formalisms, test and validation, concurrent processes, - plications, logics and validation, combining formalisms, subsorts and parti- ity, structuring, rewriting, coalgebras and sketches, re nement, institutions and categories, ASM speci cations. There were also sessions re ecting - going research achieved in the Common Framework Initiative (CoFI, see within its di erent task groups: CASL (Common Algebraic Speci cation Language), CASL semantics, CASL tools, methodology, and reactive systems. 500 pp. Englisch. Seller Inventory # 9783540678984
Buy New
US$ 106.14
Convert currency