Artículos relacionados a Fundamentals of Algebraic Specification 1: Equations...
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Otras ediciones populares con el mismo título
Resultados de la búsqueda para Fundamentals of Algebraic Specification 1: Equations...
Imagen de archivo
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (EATCS monographs on theoretical computer science)
Publicado por
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1985
ISBN 10: 3540137181
ISBN 13: 9783540137184
Antiguo o usado
Tapa dura
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Edition 1985. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Edition 1985. Ammareal gives back up to 15% of this item's net price to charity organizations. Nº de ref. del artículo: E-597-946
Cantidad disponible: 1 disponibles
Imagen del vendedor
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Monographs in Theoretical Computer Science. An EATCS Series)
Publicado por
Springer 01.03.1985., 1985
ISBN 10: 3540137181
ISBN 13: 9783540137184
Antiguo o usado
Tapa dura
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Gut. 321 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 0,0 x 0,0 x 0,0 cm, Gebundene Ausgabe. Nº de ref. del artículo: 368200
Cantidad disponible: 1 disponibles
Imagen de archivo
Fundamentals of algebraic specification 1. Equations and initial semantics. EATCS monographs on theoretical computer sciences 6.
Publicado por
Berlin ; Heidelberg : Springer, 1985
ISBN 10: 3540137181
ISBN 13: 9783540137184
Antiguo o usado
Tapa dura
Librería: Wissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG, Köln, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: gut. XI, 321 S., Abb., 25 cm, Einband leicht berieben. Sprache: Englisch. Nº de ref. del artículo: B274-003
Cantidad disponible: 1 disponibles
Imagen de archivo
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Monographs in Theoretical Computer Science. An EATCS Series)
Librería: Labyrinth Books, Princeton, NJ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Very Good. Nº de ref. del artículo: 262610
Cantidad disponible: 1 disponibles