Computers & Technology | Programming & Programming Languages

Recent Trends in Algebraic Development Techniques

2020-05-24 02:35:04

Compare Price
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 we... Read more
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). Less

Book Details

Publication date January 15, 2016
LanguageEnglish
ISBNa935d993-eb75-48e3-b42e-11ac4403004c
autor-image
Anonymous
Author
-...

Compare Prices

Store Availability Book Format Condition Price
Walmart eBooks by Rakuten Kobo In Stock Buy USD 44.99
eBooks.com In Stock Buy GBP 44.99
Walmart eBooks by Rakuten KoboIn Stock
Format
Condition
Buy USD 44.99
eBooks.comIn Stock
Format
Condition
Buy GBP 44.99
Available Discount
No Discount available

Related Books

View All
${ornaments[Math.floor(Math.random()*ornaments.length)]}
The Complete Manual Guide for Dummies: Connect Laravel 6 API to Flutter Mobile App in 10minutes using a Sample Project
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Introduction to PHP, Part 4, Second Edition
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
'As You Like I.T.'
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Python Programming For Advanced: The Updated Advanced Guide to Master Python Programming Step by Step In A Few Days with Machine Learning and Data Sci
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Multidisciplinary Approaches to Visual Representations and Interpretations
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Jump Start Rails
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Python: Learn Python Programming in One Week with Step-by-Step Tutorials: Learn Python Programming in One Week with Step-by-Step Tutorials Dr. Michael
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Social Media Pr Tweet Book01
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Simply ES6: Mastering JavaScript and ES6 to its fullest, 2nd Edition
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Node.js API: Learn server-side JavaScript by building your own Node.js server from scratch
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
FREE
The Jargon File, Version 4.2.2, 20 Aug 2000
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
How I taught Katy Perry (and others) to program in Java
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
The Absolute Beginner's Guide to Binary, Hex, Bits, and Bytes! How to Master Your Computer's Love Language
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Java: Learn Java Programming in One Week with Step By Step Tutorials: Learn Java Programming in One Week with Step By Step Tutorials Dr. Michael Lomba
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Algorithms
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
The Robert C. Martin Clean Code Collection (Collection)
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Multi-agent-based Simulation X: International Workshop, MABS 2009, Budapest, Hungary, May10-15, 2009. Revised Selected Papers
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Apple Watch for Developers
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
PYTHON PROGRAMMING LEARNING SECRET: Learn Python Basic Coding Lines
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Privacy and Identity Management for Life: 5th IFIP WG 9.2, 9.6/11.4, 11.6, 11.7/PrimeLife International Summer School, Nice, Franc
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Beyond Redundancy
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Python Programming for Beginners: The Complete Beginner's Guide To Python Programming
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Adapting Configuration Management for Agile Teams
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Ruby and MongoDB Web Development Beginner's Guide
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Google+ For Business Tweet Book01
☆ ☆ ☆ ☆ ☆

Join us and get access to all
your favourite books

Sign up for free and start exploring thousands of eBooks today.

Sign up for free

Stay in touch.

© 2026 AMPLE READS