عنوان
پدید آورنده
موضوع
رده
QA76.76.D47
QA76
.
76
.
D47
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3030232204
(Number (ISBN
9783030232207
Erroneous ISBN
9783030232191
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Recent trends in algebraic development techniques :
General Material Designation
[Book]
Other Title Information
24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised selected papers /
First Statement of Responsibility
José Luiz Fiadeiro, Ionuţ Ţuţu (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham, Switzerland :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
2019.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (ix, 175 pages) :
Other Physical Details
illustrations (some color)
SERIES
Series Title
Lecture notes in computer science ;
Series Title
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Volume Designation
11563
GENERAL NOTES
Text of Note
Includes author index.
SUMMARY OR ABSTRACT
Text of Note
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. --
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
Springer Nature
Stock Number
com.springer.onix.9783030232207
PARALLEL TITLE PROPER
Parallel Title
WADT 2018
TOPICAL NAME USED AS SUBJECT
Computer science-- Mathematics, Congresses.
Computer software-- Development, Congresses.
Formal methods (Computer science), Congresses.
Computer science-- Mathematics.
Computer software-- Development.
Formal methods (Computer science)
DEWEY DECIMAL CLASSIFICATION
Number
005
.
1
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
76
.
D47
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Fiadeiro, José Luiz,1961-
Tutu, Ionut
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
WADT (Workshop)(24th :2018 :, Egham, England)
ORIGINATING SOURCE
Date of Transaction
20200823092742.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
