Fundamentals of Algebraic Specification 1: Equations and Initial Semantics - Couverture souple

Ehrig, Hartmut; Mahr, Bernd

 
9783642699641: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
Couverture souple
ISBN 10 : 3642699642 ISBN 13 : 9783642699641
Editeur : Springer, 2011

Synopsis

The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefully motivated introduction to algebraic specifications, which is easy to understand for computer scientists and mathematicians; fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs; and fundamentals in the sense of concepts, which are introduced on a conceptual level and formalized in mathematical terms. The book is equally suitableas a text book for graduate courses and as a reference for researchers and system developers.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2011
Langue
anglais
ISBN 10 
3642699642
ISBN 13 
9783642699641
Reliure
Broché
Nombre de pages
340
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9783540137184: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

Edition présentée

ISBN 10 :  3540137181 ISBN 13 :  9783540137184
Editeur : Springer-Verlag Berlin and Heide..., 1985
Couverture rigide