Artículos relacionados a 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 Papers: 11563 (Lecture Notes in Computer Science) - Tapa blanda

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

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Críticas

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)

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Comprar usado

Zustand: Hervorragend | Seiten:...
Ver este artículo

EUR 14,90 gastos de envío desde Alemania a España

Destinos, gastos y plazos de envío

Comprar nuevo

Ver este artículo

EUR 11,00 gastos de envío desde Alemania a España

Destinos, gastos y plazos de envío

Resultados de la búsqueda para Recent Trends in Algebraic Development Techniques:...

Imagen de archivo

Unbekannt
Publicado por Springer International Publishing, 2019
ISBN 10: 3030232190 ISBN 13: 9783030232191
Antiguo o usado Tapa blanda

Librería: Buchpark, Trebbin, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Hervorragend. Zustand: Hervorragend | Seiten: 188 | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 35052983/1

Contactar al vendedor

Comprar usado

EUR 35,81
Convertir moneda
Gastos de envío: EUR 14,90
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

Ionu¿ ¿U¿U
ISBN 10: 3030232190 ISBN 13: 9783030232191
Nuevo Taschenbuch
Impresión bajo demanda

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783030232191

Contactar al vendedor

Comprar nuevo

EUR 53,49
Convertir moneda
Gastos de envío: EUR 11,00
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen del vendedor

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

Librería: AHA-BUCH GmbH, Einbeck, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783030232191

Contactar al vendedor

Comprar nuevo

EUR 53,49
Convertir moneda
Gastos de envío: EUR 11,99
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Publicado por Springer, 2019
ISBN 10: 3030232190 ISBN 13: 9783030232191
Nuevo Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. In. Nº de ref. del artículo: ria9783030232191_new

Contactar al vendedor

Comprar nuevo

EUR 61,27
Convertir moneda
Gastos de envío: EUR 4,66
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Fiadeiro, José Luiz|uu, Ionu
Publicado por Springer International Publishing, 2019
ISBN 10: 3030232190 ISBN 13: 9783030232191
Nuevo Tapa blanda
Impresión bajo demanda

Librería: moluna, Greven, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: 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 . Nº de ref. del artículo: 385699481

Contactar al vendedor

Comprar nuevo

EUR 48,37
Convertir moneda
Gastos de envío: EUR 19,49
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Fiadeiro, Jose Luiz
Publicado por Springer 2019-06, 2019
ISBN 10: 3030232190 ISBN 13: 9783030232191
Nuevo PF

Librería: Chiron Media, Wallingford, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783030232191

Contactar al vendedor

Comprar nuevo

EUR 54,25
Convertir moneda
Gastos de envío: EUR 17,55
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 10 disponibles

Añadir al carrito

Imagen de archivo

Publicado por Springer, 2019
ISBN 10: 3030232190 ISBN 13: 9783030232191
Nuevo Tapa blanda

Librería: Books Puddle, New York, NY, Estados Unidos de America

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. 1st ed. 2019 edition NO-PA16APR2015-KAP. Nº de ref. del artículo: 26376628352

Contactar al vendedor

Comprar nuevo

EUR 75,37
Convertir moneda
Gastos de envío: EUR 9,81
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 4 disponibles

Añadir al carrito

Imagen de archivo

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

Librería: Revaluation Books, Exeter, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: Brand New. revised edition. 188 pages. 9.25x6.10x0.59 inches. In Stock. Nº de ref. del artículo: x-3030232190

Contactar al vendedor

Comprar nuevo

EUR 76,12
Convertir moneda
Gastos de envío: EUR 11,71
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen del vendedor

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

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783030232191

Contactar al vendedor

Comprar nuevo

EUR 53,49
Convertir moneda
Gastos de envío: EUR 35,00
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen de archivo

Publicado por Springer, 2019
ISBN 10: 3030232190 ISBN 13: 9783030232191
Nuevo Tapa blanda
Impresión bajo demanda

Librería: Majestic Books, Hounslow, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Print on Demand. Nº de ref. del artículo: 369449823

Contactar al vendedor

Comprar nuevo

EUR 78,17
Convertir moneda
Gastos de envío: EUR 10,36
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 4 disponibles

Añadir al carrito

Existen otras 2 copia(s) de este libro

Ver todos los resultados de su búsqueda