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

Ehrig, Hartmut, Mahr, Bernd

ISBN 10: 3642699642 ISBN 13: 9783642699641

Editorial: Springer, 2011

Idioma: Ingl�s

Usado Condici�n: Like New Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por dsmbooks, Liverpool, Reino Unido

Vendedor de AbeBooks desde 28 de septiembre de 2015

Calificaci�n del vendedor: 4 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa blanda

Condici�n: Like New

Precio: EUR 159,26 Convertir moneda

EUR 31,35 gastos de env�o desde Reino Unido a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

Like New.

N� de ref. del art�culo D8F0-0-M-3642699642-6

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Monographs in Theoretical Computer Science. An EATCS Series, 6)
Editor: Springer
Fecha de publicaci�n: 2011
Idioma: Ingl�s
ISBN 10: 3642699642
ISBN 13: 9783642699641
Encuadernaci�n: Paperback
Estado: Like New
Tipo de libro: book

Acerca de

Sinopsis

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.

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

collection of few very good books

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

dsmbooks
United Kingdom

Condiciones de venta y env�o

Condiciones de venta

we ship all orders with in the specified shipping date.

Condiciones de env�o

We use international air service to deliver products.

M�todos de pago

A�adir una petici�n