Articles liés à Fundamentals of Algebraic Specification 1: Equations...

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
ProductSafety@springernature.com
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Allemagne