Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Monographs in Theoretical Computer Science. An EATCS Series)

Ehrig, Hartmut and Bernd Mahr:

ISBN 10: 3540137181 / ISBN 13: 9783540137184

Editore: Springer 01.03.1985., 1985

Riguardo questo articolo

321 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 0,0 x 0,0 x 0,0 cm, Gebundene Ausgabe.

Codice articolo 368200

Dati bibliografici

• Titolo: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Monographs in Theoretical Computer Science. An EATCS Series)
• Editore: Springer 01.03.1985.
• Data di pubblicazione: 1985
• Lingua: Inglese
• ISBN 10: 3540137181
• ISBN 13: 9783540137184
• Rilegatura: Rilegato
• Condizione: Gut
• Peso: 969 grammi
• Cataloghi dei venditori:
  • Alle Bücher

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.