Recent Trends in Algebraic Development Techniques: 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers - Couverture souple

9783031889295: Recent Trends in Algebraic Development Techniques: 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers

Couverture souple

ISBN 10 : 3031889290 ISBN 13 : 9783031889295

Editeur : Springer, 2025

Afficher les exemplaires de cette �dition comportant l'ISBN

This book constitutes the thoroughly refereed post-conference proceedings of the 27th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2024, held in Enschede, The Netherlands, on July 8, 2024.

The 6 full papers presented in this volume were carefully reviewed and selected from 11 submissions. The contributed presentations covered a wide range of topics on the algebraic approach to system specification: from foundations of algebraic-specification languages to institutions and knowledge representation, to graph transformations, rewrite rules, process algebra, and bialgebraic frameworks, to many-logics modal systems and quantum process calculi, and to several applications to code synthesis and maintainability.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer
Date d'�dition: 2025
Langue: anglais
ISBN 10: 3031889290
ISBN 13: 9783031889295
Reliure: Broch�
Nombre de pages: 148
�diteur: Țuțu Ionuț
Coordonn�es du fabricant: Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Allemagne

R�sultats de recherche pour Recent Trends in Algebraic Development Techniques:...

Image d'archives

Recent Trends in Algebraic Development Techniques (eng)

?u?u, Ionu?

Edit� par Springer, 2025

ISBN 10 : 3031889290 ISBN 13 : 9783031889295

Neuf Couverture souple

impression � la demande

Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie

�valuation du vendeur 5 sur 5 �toiles

Etat : new. Questo � un articolo print on demand. N� de r�f. du vendeur FWJQIBQRQV

Contacter le vendeur

Acheter neuf

EUR 102,25

Exp�dition �EUR 4
Exp�dition depuis Italie vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Recent Trends in Algebraic Development Techniques

Ionu� �U�U

Edit� par Springer, Springer Mai 2025, 2025

ISBN 10 : 3031889290 ISBN 13 : 9783031889295

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : 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 27th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2024, held in Enschede, The Netherlands, on July 8, 2024.The 6 full papers presented in this volume were carefully reviewed and selected from 11 submissions. Thecontributed presentations covered a wide range of topics on the algebraic approach to system specification: from foundations of algebraic-specification languages to institutions and knowledgerepresentation, to graph transformations, rewrite rules, process algebra, and bialgebraic frameworks, to many-logics modal systems and quantum process calculi, and to several applications to code synthesis and maintainability. 148 pp. Englisch. N� de r�f. du vendeur 9783031889295

Contacter le vendeur

Acheter neuf

EUR 128,39

Exp�dition �EUR 23
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Recent Trends in Algebraic Development Techniques

Edit� par Springer Verlag GmbH, 2025

ISBN 10 : 3031889290 ISBN 13 : 9783031889295

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. N� de r�f. du vendeur 2218296483

Contacter le vendeur

Acheter neuf

EUR 109,83

Exp�dition �EUR 48,99
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Recent Trends in Algebraic Development Techniques | 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers

Ionu� �U�U

Edit� par Springer, 2025

ISBN 10 : 3031889290 ISBN 13 : 9783031889295

Neuf Taschenbuch

Vendeur : preigu, Osnabr�ck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Contacter le vendeur

Acheter neuf

EUR 113,20

Exp�dition �EUR 70
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 5 disponible(s)

Ajouter au panier

Image d'archives

Recent Trends in Algebraic Development Techniques: 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, . Papers (Lecture Notes in Computer Science)

Edit� par Springer, 2025

ISBN 10 : 3031889290 ISBN 13 : 9783031889295

Neuf Couverture souple

impression � la demande

Vendeur : Majestic Books, Hounslow, Royaume-Uni

�valuation du vendeur 4 sur 5 �toiles

Etat : New. Print on Demand. N� de r�f. du vendeur 409422868

Contacter le vendeur

Acheter neuf

EUR 176,31

Exp�dition �EUR 7,60
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Recent Trends in Algebraic Development Techniques

Ionu� �U�U

Edit� par Springer, Springer Mai 2025, 2025

ISBN 10 : 3031889290 ISBN 13 : 9783031889295

Neuf Taschenbuch

impression � la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 27th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2024, held in Enschede, The Netherlands, on July 8, 2024.The 6 full papers presented in this volume were carefully reviewed and selected from 11 submissions. The contributed presentations covered a wide range of topics on the algebraic approach to system specification: from foundations of algebraic-specification languages to institutions and knowledge representation, to graph transformations, rewrite rules, process algebra, and bialgebraic frameworks, to many-logics modal systems and quantum process calculi, and to several applications to code synthesis and maintainability.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 148 pp. Englisch. N� de r�f. du vendeur 9783031889295

Contacter le vendeur

Acheter neuf

EUR 128,39

Exp�dition �EUR 60
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Recent Trends in Algebraic Development Techniques: 27th Ifip Wg 1.3 International Workshop, Wadt 2024, Enschede, the Netherlands, July 8, 2024, Revised Selected Papers

Ionu? ?u?u (Editor)

Edit� par Springer-Nature New York Inc, 2025

ISBN 10 : 3031889290 ISBN 13 : 9783031889295

Neuf Paperback

Vendeur : Revaluation Books, Exeter, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Brand New. 144 pages. 9.25x6.10x9.21 inches. In Stock. N� de r�f. du vendeur x-3031889290

Contacter le vendeur

Acheter neuf

EUR 176,75

Exp�dition �EUR 11,69
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Recent Trends in Algebraic Development Techniques : 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers

Ionu� �U�U

Edit� par Springer, Springer, 2025

ISBN 10 : 3031889290 ISBN 13 : 9783031889295

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conference proceedings of the 27th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2024, held in Enschede, The Netherlands, on July 8, 2024.The 6 full papers presented in this volume were carefully reviewed and selected from 11 submissions. Thecontributed presentations covered a wide range of topics on the algebraic approach to system specification: from foundations of algebraic-specification languages to institutions and knowledgerepresentation, to graph transformations, rewrite rules, process algebra, and bialgebraic frameworks, to many-logics modal systems and quantum process calculi, and to several applications to code synthesis and maintainability. N� de r�f. du vendeur 9783031889295

Contacter le vendeur