Recent Trends in Algebraic Development Techniques -

Format: Broché

Voir le descriptif

Note : 0

0 avis

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

Filtrer par :

80,81 €

Produit Neuf

Ou 20,20 € /mois

Livraison : 3,99 €
Livré entre le 23 et le 29 juillet

Voir les modes de livraison

M_plus_L

PRO Vendeur favori

4,8/5 sur + de 1 000 ventes

Voir le détail de l'annonce

Nos autres offres

88,39 €

Produit Neuf

Ou 22,10 € /mois

En savoir plus
- Livraison à 0,01 €
- Livré entre le 24 juillet et le 5 août
Voir les modes de livraison
RiaChristie

PRO

4,9/5 sur + de 1 000 ventes

Contacter le vendeur

Afficher la description de l'annonce

Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783030232191_dbm

Voir le détail de l'annonce

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Recent Trends In Algebraic Development Techniques Format Broché - Livre Informatique

Note : 0 0 avis sur Recent Trends In Algebraic Development Techniques Format Broché - Livre Informatique

Donnez votre avis

Donnez votre avis sur ce produit

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation Recent Trends In Algebraic Development Techniques Format Broché
- Livre Informatique

Livre Informatique - 01/06/2019 - Broché - Langue : Anglais

Editeur : Springer International Publishing Ag

Langue : Anglais

Parution : 01/06/2019

Format : Moyen, de 350g à 1kg

Nombre de pages : 188

Expédition : 295

Dimensions : 23.5 x 15.5 x 11.0

ISBN : 3030232190

Résumé :

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.

Biographie:
Parameterized Strategies Specication in Maude.- ...

Sommaire:
Role-based Development of Dynamically Evolving Esembles.- Parameterized Strategies Specication in Maude.- An Algebraic Theory for Data Linkage.- Institutions for SQL Database Schemas and Datasets.- Finite Limits and Anti-Unication in Substitution Categories.- A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs.- Term Charters.- Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories.- Structuring Theories with Implicit Morphisms....

Détails de conformité du produit

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Recent Trends in Algebraic Development Techniques -

Avis sur Recent Trends In Algebraic Development Techniques Format Broché - Livre Informatique

Présentation Recent Trends In Algebraic Development Techniques Format Broché - Livre Informatique

Présentation Recent Trends In Algebraic Development Techniques Format Broché
- Livre Informatique