Recent Trends in Algebraic Development Techniques: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers - Couverture souple

9783319281131: Recent Trends in Algebraic Development Techniques: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

Couverture souple

ISBN 10 : 3319281135 ISBN 13 : 9783319281131

Editeur : Springer, 2015

Afficher les exemplaires de cette �dition comportant l?ISBN

This book constitutes the thoroughly refereed post-conference proceedings of the 22^nd International Workshop on Algebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia, Romania.
The 8 revised papers presented were carefully reviewed and selected from 13 presentations and focus together with one invited paper on foundations of algebraic specification, approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing, specification languages, methods, and environments, semantics of conceptual modeling methods and techniques, model-driven development, graph transformations, term rewriting and proof systems, integration of formal specification techniques, formal testing and quality assurance, validation, and verification.

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

�diteur: Springer
Date d'�dition: 2015
Langue: anglais
ISBN 10: 3319281135
ISBN 13: 9783319281131
Reliure: Broch�
Num�ro d'�dition: 1
Nombre de pages: 184
�diteur: Codescu Mihai, Diaconescu Răzvan, Țuțu Ionuț
Coordonn�es du fabricant: ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Allemagne

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

Image d'archives

RECENT TRENDS IN ALGEBRAIC DEVELOPMENT T (eng)

Codescu, Mihai

Edit� par Springer, 2015

ISBN 10 : 3319281135 ISBN 13 : 9783319281131

Neuf Couverture souple

impression � la demande

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

�valuation du vendeur 4 sur 5 �toiles

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

Contacter le vendeur

Acheter neuf

EUR 38,23

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

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Recent Trends in Algebraic Development Techniques: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected ... Computer Science and General Issues)

Edit� par Springer, 2015

ISBN 10 : 3319281135 ISBN 13 : 9783319281131

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9783319281131_new

Contacter le vendeur

Acheter neuf

EUR 47,89

Exp�dition �EUR 13,83
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Recent Trends in Algebraic Development Techniques: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers (Lecture Notes in Computer Science)

Mihai Codescu, Razvan Diaconescu, Ionu? ?u?u

Edit� par Springer 2016-02-06, 2016

ISBN 10 : 3319281135 ISBN 13 : 9783319281131

Neuf Paperback

Vendeur : Chiron Media, Wallingford, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : New. N� de r�f. du vendeur 6666-IUK-9783319281131

Contacter le vendeur

Acheter neuf

EUR 44,21

Exp�dition �EUR 17,88
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 10 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Recent Trends in Algebraic Development Techniques

Mihai Codescu

Edit� par Springer International Publishing Dez 2015, 2015

ISBN 10 : 3319281135 ISBN 13 : 9783319281131

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 refereedpost-conference proceedings of the 22nd International Workshop onAlgebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia,Romania.The 8 revised papers presented were carefully reviewed and selected from 13presentations and focus together with one invited paper on foundations ofalgebraic specification, approaches to formal specification including processcalculi and models of concurrent, distributed and mobile computing,specification languages, methods, and environments, semantics of conceptualmodeling methods and techniques, model-driven development, graphtransformations, term rewriting and proof systems, integration of formalspecification techniques, formal testing and quality assurance, validation, andverification. 184 pp. Englisch. N� de r�f. du vendeur 9783319281131

Contacter le vendeur

Acheter neuf

EUR 42,80

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

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Recent Trends in Algebraic Development Techniques: 22nd International Workshop

Codescu, Mihai (Editor)/ Diaconescu, Razvan (Editor)

Edit� par Springer-Verlag New York Inc, 2016

ISBN 10 : 3319281135 ISBN 13 : 9783319281131

Neuf Paperback

Vendeur : Revaluation Books, Exeter, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Brand New. 184 pages. 9.25x6.10x0.42 inches. In Stock. N� de r�f. du vendeur x-3319281135

Contacter le vendeur

Acheter neuf

EUR 62,90

Exp�dition �EUR 23,09
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

Codescu, Mihai|Diaconescu, Razvan|uu, Ionu

Edit� par Springer International Publishing, 2015

ISBN 10 : 3319281135 ISBN 13 : 9783319281131

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the thoroughly refereedpost-conference proceedings of the 22nd International Workshop onAlgebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia,Romania.The 8 revised papers presented were careful. N� de r�f. du vendeur 102325241

Contacter le vendeur

Acheter neuf

EUR 39,61

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

Mihai Codescu

Edit� par Springer, Springer Dez 2015, 2015

ISBN 10 : 3319281135 ISBN 13 : 9783319281131

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 -OnLogic Embeddings and G�del's God.- An Institutional Foundation for the K Semantic Framework.- A Theoretical Foundationfor Programming Languages Aggregation.- Coalgebraic Semantics of Heavy-WeightedAutomata.- Foundations of Logic Programming in Hybridised Logics.- What Is aDerived Signature Morphism .- Use Case Analysis Based on Formal Methods: AnEmpirical Study.- A Full Operational Semantics for Asynchronous RelationalNetworks.- A SOC-Based Formal Specification and Verification of Hybrid Systems.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 184 pp. Englisch. N� de r�f. du vendeur 9783319281131

Contacter le vendeur

Acheter neuf

EUR 42,80

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

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Recent Trends in Algebraic Development Techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

Mihai Codescu

Edit� par Springer International Publishing, 2015

ISBN 10 : 3319281135 ISBN 13 : 9783319281131

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 refereedpost-conference proceedings of the 22nd International Workshop onAlgebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia,Romania.The 8 revised papers presented were carefully reviewed and selected from 13presentations and focus together with one invited paper on foundations ofalgebraic specification, approaches to formal specification including processcalculi and models of concurrent, distributed and mobile computing,specification languages, methods, and environments, semantics of conceptualmodeling methods and techniques, model-driven development, graphtransformations, term rewriting and proof systems, integration of formalspecification techniques, formal testing and quality assurance, validation, andverification. N� de r�f. du vendeur 9783319281131

Contacter le vendeur