Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Condition: Good. *Price HAS BEEN REDUCED by 10% until Monday, May 18 (sale item)* 476 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Paperback. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
paperback. Condition: Very Good.
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Condition: New.
Condition: New.
Condition: New.
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.
Paperback or Softback. Condition: New. Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers. Book.
Seller: Brook Bookstore On Demand, Napoli, NA, Italy
Condition: new.
Language: English
Published by Springer International Publishing AG, Cham, 2023
ISBN 10: 3031433440 ISBN 13: 9783031433443
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
First Edition
Paperback. Condition: new. Paperback. This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development Techniques, WADT 2022, held in Aveiro, Portugal, in June 2022.The 6 revised papers presented together with 2 invited papers were carefully reviewed and selected from 25 submissions. The contributed presentations covered a range of topics about the algebraic approach to system specification, which encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, the algebraic approach now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic, and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed, and mobile systems). This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development Techniques, WADT 2022, held in Aveiro, Portugal, in June 2022.The 6 revised papers presented together with 2 invited papers were carefully reviewed and selected from 25 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Condition: New.
Condition: New.
Condition: As New. Unread book in perfect condition.
Condition: As New. Unread book in perfect condition.
Condition: As New. Unread book in perfect condition.
Condition: As New. Unread book in perfect condition.
Paperback. Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 40.27
Quantity: Over 20 available
Add to basketCondition: New. In.
Condition: As New. Unread book in perfect condition.
Condition: As New. Unread book in perfect condition.
Condition: As New. Unread book in perfect condition.