Theoretical Computer Science and General Issues
cover

Recent Trends in Algebraic Development Techniques

25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers

Editors: Roggenbach, Markus (Ed.)

Buy this book

eBook 42,79 €
price for Spain (gross)
  • ISBN 978-3-030-73785-6
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 51,99 €
price for Spain (gross)
  • ISBN 978-3-030-73784-9
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Algebraic Development Techniques, WADT 2020, held virtually in April 2020.

The 7 revised papers presented together with an invited paper were carefully reviewed and selected from 9 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).

Table of contents (8 chapters)

Table of contents (8 chapters)
  • On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract)

    Pages 3-10

    Pol, Jaco (et al.)

  • The Wheel of Rational Numbers as an Abstract Data Type

    Pages 13-30

    Bergstra, Jan A. (et al.)

  • Towards General Axiomatizations for Bisimilarity and Trace Semantics

    Pages 31-53

    Bernardo, Marco

  • Monographs, a Category of Graph Structures

    Pages 54-74

    Boy de la Tour, Thierry

  • Parallel Coherent Graph Transformations

    Pages 75-97

    Boy de la Tour, Thierry (et al.)

Buy this book

eBook 42,79 €
price for Spain (gross)
  • ISBN 978-3-030-73785-6
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 51,99 €
price for Spain (gross)
  • ISBN 978-3-030-73784-9
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Recent Trends in Algebraic Development Techniques
Book Subtitle
25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers
Editors
  • Markus Roggenbach
Series Title
Theoretical Computer Science and General Issues
Series Volume
12669
Copyright
2021
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-73785-6
DOI
10.1007/978-3-030-73785-6
Softcover ISBN
978-3-030-73784-9
Edition Number
1
Number of Pages
IX, 165
Number of Illustrations
30 b/w illustrations, 8 illustrations in colour
Topics