你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

Select your country

Americas

Europe

Rest of the world

portada Recent Trends in Algebraic Development Techniques
Type
Physical Book
Year
2019
Language
English
Pages
188
Format
Paperback
Dimensions
23.4x15.6 cm
ISBN13
9783030232214

Recent Trends in Algebraic Development Techniques

Ionuț Țuțu;José Luiz Fiadeiro (Author) · Springer Nature B.V. · Paperback

Recent Trends in Algebraic Development Techniques - Ionuț Țuțu;José Luiz Fiadeiro

New Book Imported to Taiwan
Delivery: 19 Oct - 30 Oct Shipping: 11 to 15 business days.
NT$ 2,073
NT$ 2,073

Synopsis "Recent Trends in Algebraic Development Techniques"

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, neuralsymbolic
integration, relational databases, and service-oriented computing.

Customers reviews

Frequently Asked Questions about the Book

All books in our catalog are Original.
The book is written in English.
The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews