Items related to Recent Trends in Algebraic Development Techniques:...

Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected ... (Lecture Notes in Computer Science, 11563) - Softcover

 
9783030232191: Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected ... (Lecture Notes in Computer Science, 11563)

Synopsis

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.

"synopsis" may belong to another edition of this title.

Review

The post proceeding WADT 2018 presents algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as a formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic and higher-order functional programming)

"About this title" may belong to another edition of this title.

Buy Used

Zustand: Hervorragend | Seiten:...
View this item

£ 7.69 shipping from Germany to United Kingdom

Destination, rates & speeds

Buy New

View this item

£ 2.49 shipping within United Kingdom

Destination, rates & speeds

Search results for Recent Trends in Algebraic Development Techniques:...

Stock Image

Unbekannt
ISBN 10: 3030232190 ISBN 13: 9783030232191
Used Softcover

Seller: Buchpark, Trebbin, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Hervorragend. Zustand: Hervorragend | Seiten: 188 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 35052983/1

Contact seller

Buy Used

£ 35.43
Convert currency
Shipping: £ 7.69
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Fiadeiro, Jose Luiz
Published by Springer 2019-06, 2019
ISBN 10: 3030232190 ISBN 13: 9783030232191
New PF

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

PF. Condition: New. Seller Inventory # 6666-IUK-9783030232191

Contact seller

Buy New

£ 44.99
Convert currency
Shipping: £ 2.49
Within United Kingdom
Destination, rates & speeds

Quantity: 10 available

Add to basket

Stock Image

Published by Springer, 2019
ISBN 10: 3030232190 ISBN 13: 9783030232191
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783030232191_new

Contact seller

Buy New

£ 50.82
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Ionu¿ ¿U¿U
ISBN 10: 3030232190 ISBN 13: 9783030232191
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 inEgham, UK in July 2018.The 9 revised papers presented were carefully reviewed and selected from 13 submissions. Thecontributed 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. 188 pp. Englisch. Seller Inventory # 9783030232191

Contact seller

Buy New

£ 47.62
Convert currency
Shipping: £ 9.51
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Ionu¿ ¿U¿U
ISBN 10: 3030232190 ISBN 13: 9783030232191
New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 inEgham, UK in July 2018.The 9 revised papers presented were carefully reviewed and selected from 13 submissions. Thecontributed 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. Seller Inventory # 9783030232191

Contact seller

Buy New

£ 47.62
Convert currency
Shipping: £ 12.09
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Fiadeiro, José Luiz|uu, Ionu
ISBN 10: 3030232190 ISBN 13: 9783030232191
New Softcover
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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&nbspEgham, UK in July 2018.&nbsp&nbspThe 9 revised papers presented . Seller Inventory # 385699481

Contact seller

Buy New

£ 43.07
Convert currency
Shipping: £ 21.60
From Germany to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2019
ISBN 10: 3030232190 ISBN 13: 9783030232191
New Softcover
Print on Demand

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Print on Demand. Seller Inventory # 369449823

Contact seller

Buy New

£ 66.79
Convert currency
Shipping: £ 3.35
Within United Kingdom
Destination, rates & speeds

Quantity: 4 available

Add to basket

Stock Image

Fiadeiro, José Luiz (Editor)/ Tutu, Ionut (Editor)
Published by Springer-Verlag New York Inc, 2019
ISBN 10: 3030232190 ISBN 13: 9783030232191
New Paperback

Seller: Revaluation Books, Exeter, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Brand New. revised edition. 188 pages. 9.25x6.10x0.59 inches. In Stock. Seller Inventory # x-3030232190

Contact seller

Buy New

£ 63.21
Convert currency
Shipping: £ 6.99
Within United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Published by Springer, 2019
ISBN 10: 3030232190 ISBN 13: 9783030232191
New Softcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. 1st ed. 2019 edition NO-PA16APR2015-KAP. Seller Inventory # 26376628352

Contact seller

Buy New

£ 65.77
Convert currency
Shipping: £ 6.59
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 4 available

Add to basket

Seller Image

Ionu¿ ¿U¿U
ISBN 10: 3030232190 ISBN 13: 9783030232191
New Taschenbuch

Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Neuware -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, neuralsymbolicSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Englisch. Seller Inventory # 9783030232191

Contact seller

Buy New

£ 47.62
Convert currency
Shipping: £ 30.26
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

There are 2 more copies of this book

View all search results for this book