Recent Trends in Algebraic Development Techniques: 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers: 1376 (Lecture Notes in Computer Science, 1376) - Softcover
Synopsis
This book constitutes the strictly refereed post-workshop proceedings of the 12th International Workshop on Algebraic Development Techniques, WADT '98, held in Tarquinia, Italy, in June 1997.This book presents, besides three invited surveys, 21 carefully revised full papers selected from 40 presentations given at the workshop. The algebraic approach to the specification and development of systems, born as a formal method for abstract data types, encompases today the formal design of integrated hardware and software systems, new specification frameworks and a wide range of applications. This book presents the state-of-the-art in the area of algebraic software development.
"synopsis" may belong to another edition of this title.
Product Description
Recent Trends in Algebraic Development Techniques Constitutes the refereed post-workshop proceedings of the 12th International Workshop on Algebraic Development Techniques, WADT '98, held in Italy, in June 1997. This book presents the state-of-the-art in the area of algebraic software development.
"About this title" may belong to another edition of this title.
Search results for Recent Trends in Algebraic Development Techniques:...
Stock Image
Recent Trends in Algebraic Development Techniques: 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers (Lecture Notes in Computer Science)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding. Seller Inventory # UTD14a-1246
Stock Image
Recent Trends in Algebraic Development Techniques: 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers (Lecture Notes in Computer Science, 1376)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020173297
Seller Image
Recent Trends in Algebraic Development Techniques : 12th International Workshop, Wadt '97, Tarquinia, Italy, June 3-7, 1997 : Selected Papers
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 917684-n
Seller Image
Recent Trends in Algebraic Development Techniques : 12th International Workshop, Wadt '97, Tarquinia, Italy, June 3-7, 1997 : Selected Papers
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 917684
Stock Image
Recent Trends in Algebraic Development Techniques: 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers (Lecture Notes in Computer Science, 1376)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540642992_new
Buy New
£ 49.13
Shipping:
£ 11.98
From United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Recent Trends in Algebraic Development Techniques : 12th International Workshop, Wadt '97, Tarquinia, Italy, June 3-7, 1997 : Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 917684-n
Buy New
£ 49.12
Shipping:
£ 15
From United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Recent Trends in Algebraic Development Techniques
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 1998, 1998
ISBN 10: 3540642994
ISBN 13: 9783540642992
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the strictly refereed post-workshop proceedings of the 12th International Workshop on Algebraic Development Techniques, WADT '98, held in Tarquinia, Italy, in June 1997.This book presents, besides three invited surveys, 21 carefully revised full papers selected from 40 presentations given at the workshop. The algebraic approach to the specification and development of systems, born as a formal method for abstract data types, encompases today the formal design of integrated hardware and software systems, new specification frameworks and a wide range of applications. This book presents the state-of-the-art in the area of algebraic software development. 452 pp. Englisch. Seller Inventory # 9783540642992
Seller Image
Recent Trends in Algebraic Development Techniques : 12th International Workshop, Wadt '97, Tarquinia, Italy, June 3-7, 1997 : Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 917684
Buy Used
£ 55.78
Shipping:
£ 15
From United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Recent Trends in Algebraic Development Techniques
Published by
Springer Berlin Heidelberg, 1998
ISBN 10: 3540642994
ISBN 13: 9783540642992
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the strictly refereed post-workshop proceedings of the 12th International Workshop on Algebraic Development Techniques, WADT 98, held in Tarquinia, Italy, in June 1997.This book presents, besides three invited surveys, 21 carefully re. Seller Inventory # 4896700
Seller Image
Recent Trends in Algebraic Development Techniques
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 1998, 1998
ISBN 10: 3540642994
ISBN 13: 9783540642992
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the strictly refereed post-workshop proceedings of the 12th International Workshop on Algebraic Development Techniques, WADT '98, held in Tarquinia, Italy, in June 1997.This book presents, besides three invited surveys, 21 carefully revised full papers selected from 40 presentations given at the workshop. The algebraic approach to the specification and development of systems, born as a formal method for abstract data types, encompases today the formal design of integrated hardware and software systems, new specification frameworks and a wide range of applications. This book presents the state-of-the-art in the area of algebraic software development.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch. Seller Inventory # 9783540642992