Fundamentals of Algebraic Specification 1: Equations and Initial Semantics - Rilegato

Ehrig, Hartmut; Mahr, Bernd

Rilegato

ISBN 10: 3540137181 ISBN 13: 9783540137184

Casa editrice: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1985

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.

Su questo libro

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.

Dettagli dell?edizione

• Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
• Data di pubblicazione: 1985
• Lingua: Inglese
• ISBN 10: 3540137181
• ISBN 13: 9783540137184
• Rilegatura: Copertina rigida
• Numero edizione: 1
• Numero di pagine: 332
• Contatto del produttore: non disponibile
• Persona responsabile: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Germania