|
Books > Computing & IT > Computer programming
|
Buy Now
Recent Trends in Algebraic Development Techniques - 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers (Paperback, 1st ed. 2021)
Loot Price: R1,539
Discovery Miles 15 390
|
|
|
Recent Trends in Algebraic Development Techniques - 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers (Paperback, 1st ed. 2021)
Series: Theoretical Computer Science and General Issues, 12669
Expected to ship within 10 - 15 working days
|
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).
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
