T�tulo: Fundamentals of algebraic specification 1. Equations and initial semantics. EATCS monographs on theoretical computer sciences 6.
Editor: Berlin ; Heidelberg : Springer
Fecha de publicaci�n: 1985
Idioma: Ingl�s
ISBN 10: 3540137181
ISBN 13: 9783540137184
Encuadernaci�n: Encuadernaci�n de tapa dura
Estado: gut

Acerca de

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.

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.

Descripci�n de la librer�a

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Wissenschaftliches Antiquariat K�ln Dr. Sebastian Peters UG (haftungsbeschr�nkt)
Rh�ndorfer Str. 16 M, K�ln, 50939, Germany

Condiciones de venta y env�o

Condiciones de venta

Allgemeines � Geltungsbereich

1.1. Diese Allgemeinen Gesch�ftsbedingungen (AGB) gelten f�r alle Gesch�ftsbeziehungen zwischen uns und unseren Kunden. Ma�geblich ist jeweils die zum Zeitpunkt des Vertragsabschlusses g�ltige Fassung.

1.2. Der Kunde akzeptiert die ABG f�r alle gegenw�rtigen und zuk�nftigen Gesch�ftsbeziehungen. S�mt-liche Fragen oder Beanstandungen im Zusammenhang mit den AGB oder den diesen zugrunde liegenden Vertr�gen k�nnen in Schriftform (postalisch oder per E-Mail) beim Anbiet...

M�s informaci�n

Condiciones de env�o

Die Ware wird in der Regel innerhalb von 3 Tagen nach Bestelleingang verschickt. Bitte entnehmen Sie den voraussichtlichen Liefertermin Ihrer Bestellbest�tigung. Die Versandkostenpauschalen basieren auf Durchschnittswerten f�r 1 kg schwere B�cher. �ber abweichende Kosten (z.B. wegen eines sehr schweren Buches) werden Sie gegebenenfalls vom Verk�ufer informiert.