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

Ehrig, Hartmut; Mahr, Bernd

 
9783540137184: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
Couverture rigide
ISBN 10 : 3540137181 ISBN 13 : 9783540137184
Editeur : Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1985

Synopsis

The aim of this book is to present fundamentals of algebraicspecifications with respect to the following three aspects: fundamentals in the sense of a carefully motivatedintroduction to algebraic specifications, which is easy tounderstand for computer scientists and mathematicians; fundamentals in the sense of mathematical theories which arethe basis for precise definitions, constructions, results, and correctness proofs; and fundamentals in the sense ofconcepts, which are introduced on a conceptual level andformalized in mathematical terms. The book is equally suitableas a text book for graduatecourses and as a reference for researchers and systemdevelopers.

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

Éditeur
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Date d'édition
1985
Langue
anglais
ISBN 10 
3540137181
ISBN 13 
9783540137184
Reliure
Relié
Nombre de pages
332
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

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

Edition présentée

ISBN 10 :  3642699642 ISBN 13 :  9783642699641
Editeur : Springer, 2011
Couverture souple