عنوان

Recent trends in algebraic development techniques :

شابک

3030232204

شابک

9783030232207

شابک اشتباه

9783030232191

عنوان اصلي

Recent trends in algebraic development techniques :

نام عام مواد

[Book]

ساير اطلاعات عنواني

24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised selected papers /

نام نخستين پديدآور

José Luiz Fiadeiro, Ionuţ Ţuţu (eds.).

محل نشرو پخش و غیره

Cham, Switzerland :

نام ناشر، پخش کننده و غيره

Springer,

تاریخ نشرو بخش و غیره

2019.

نام خاص و کميت اثر

1 online resource (ix, 175 pages) :

ساير جزييات

illustrations (some color)

عنوان فروست

Lecture notes in computer science ;

عنوان فروست

LNCS sublibrary. SL 1, Theoretical computer science and general issues

مشخصه جلد

11563

متن يادداشت

Includes author index.

متن يادداشت

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. --

منبع سفارش / آدرس اشتراک

Springer Nature

شماره انبار

com.springer.onix.9783030232207

عنوان اصلي به زبان ديگر

WADT 2018

موضوع مستند نشده

Computer science-- Mathematics, Congresses.

موضوع مستند نشده

Computer software-- Development, Congresses.

موضوع مستند نشده

Formal methods (Computer science), Congresses.

موضوع مستند نشده

Computer science-- Mathematics.

موضوع مستند نشده

Computer software-- Development.

موضوع مستند نشده

Formal methods (Computer science)

شماره

ويراست

شماره رده

مستند نام اشخاص تاييد نشده

Fiadeiro, José Luiz,1961-

مستند نام اشخاص تاييد نشده

Tutu, Ionut

مستند نام تنالگان تاييد نشده

WADT (Workshop)(24th :2018 :, Egham, England)

تاريخ عمليات

20200823092742.0

قواعد فهرست نويسي ( بخش توصيفي )

pn

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y