0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming

Not currently available

Recent Trends in Algebraic Development Techniques - 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers (Paperback, 1st ed. 2019) Loot Price: R1,219
Discovery Miles 12 190
Recent Trends in Algebraic Development Techniques - 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5,...

Recent Trends in Algebraic Development Techniques - 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers (Paperback, 1st ed. 2019)

Jose Luiz Fiadeiro, Ionut Tutu

Series: Theoretical Computer Science and General Issues, 11563

 (sign in to rate)
Loot Price R1,219 Discovery Miles 12 190 | Repayment Terms: R114 pm x 12*

Bookmark and Share

Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.

This book constitutes the thoroughly refereed post-conference proceedings of the 24th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2018, held in Egham, UK in July 2018. The 9 revised papers presented were carefully reviewed and selected from 13 submissions. The contributed presentations covered a range of topics: specification and modelling languages such as CASL, Event-B, Maude, MMT, and SRML; foundations of system specification such as graph transformation, categorical semantics, fuzzy and temporal logics, institutions, module systems and parameterization, refinement, static analysis, and substitutions; and applications including categorical programming, communicating finite state machines, neuralsymbolicintegration, relational databases, and service-oriented computing.

General

Imprint: Springer Nature Switzerland AG
Country of origin: Switzerland
Series: Theoretical Computer Science and General Issues, 11563
Release date: June 2019
First published: 2019
Editors: Jose Luiz Fiadeiro • Ionut Tutu
Dimensions: 235 x 155mm (L x W)
Format: Paperback
Pages: 175
Edition: 1st ed. 2019
ISBN-13: 978-3-03-023219-1
Categories: Books > Computing & IT > Computer programming > General
Promotions
LSN: 3-03-023219-0
Barcode: 9783030232191

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!

You might also like..

Problem Solving with C++ - Global…
Walter Savitch Paperback R2,584 Discovery Miles 25 840
Java Programming
Joyce Farrell Paperback R1,513 R1,434 Discovery Miles 14 340
Programming Logic & Design
Joyce Farrell Paperback R878 Discovery Miles 8 780
C++ Programming - Program Design…
D. Malik Paperback R1,929 R1,819 Discovery Miles 18 190
Program Construction - Calculating…
Roland Backhouse Paperback R1,481 Discovery Miles 14 810
Clean Architecture - A Craftsman's Guide…
Robert Martin Paperback  (1)
R681 Discovery Miles 6 810
Beginner's Step-by-Step Coding Course…
Dk Hardcover R601 Discovery Miles 6 010
Introducing Delphi Programming - Theory…
John Barrow, Linda Miller, … Paperback  (1)
R751 Discovery Miles 7 510
Programming Logic & Design…
Joyce Farrell Paperback R1,390 R1,315 Discovery Miles 13 150
Hardware Accelerator Systems for…
Shiho Kim, Ganesh Chandra Deka Hardcover R4,010 Discovery Miles 40 100
Dark Silicon and Future On-chip Systems…
Suyel Namasudra, Hamid Sarbazi-Azad Hardcover R4,000 Discovery Miles 40 000
Temporal Data Mining via Unsupervised…
Yun Yang Paperback R1,189 Discovery Miles 11 890

See more

Partners