Fundamentals of algebraic specification 1. Equations and initial semantics. EATCS monographs on theoretical computer sciences 6.

Ehrig, Hartmut ; Mahr, Bernd

ISBN 10: 3540137181 / ISBN 13: 9783540137184

Editore: Berlin ; Heidelberg : Springer, 1985

Riguardo questo articolo

XI, 321 S., Abb., 25 cm, Einband leicht berieben. Sprache: Englisch.

Codice articolo B274-003

Dati bibliografici

• Titolo: Fundamentals of algebraic specification 1. Equations and initial semantics. EATCS monographs on theoretical computer sciences 6.
• Editore: Berlin ; Heidelberg : Springer
• Data di pubblicazione: 1985
• Lingua: Inglese
• ISBN 10: 3540137181
• ISBN 13: 9783540137184
• Rilegatura: Rilegato
• Condizione: gut

Descrizione articolo

Riassunto

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.

Product Description

Eatcs. Monographs On Theoretical Computer Science. Volume Rilegato Di Pp. Xi-319. In Ottimo Stato. Spedizione In 24 Ore Dalla Conferma Dell'Ordine.