Artículos relacionados a Initial Computability, Algebraic Specifications and...

Initial Computability, Algebraic Specifications and Partial Algebras: 2 (International Series of Monographs on Computer Science) - Tapa dura

 
9780198538066: Initial Computability, Algebraic Specifications and Partial Algebras: 2 (International Series of Monographs on Computer Science)

Sinopsis

The aim of this book is to increase the use of partial algebras, especially in computer science. It sets out to achieve this by presenting examples of increasing complexity of algebraic specifications using essentially partial operations, and by proving that structural induction alone yields on equationally partial algebras a complete calculus of abstract programs on parametrized abstract data types. It develops a special kind of partiality - the equational partiality - both as a sound formal basis for algebraic specifications with partial operations, and as a proper generalization of universal algebra from total algebras to partial ones. The book extends the modeltheoretic initial semantics of abstract data types with partial operations to behavioural semantics. Postgraduate and third year mathematicians (algebraists particularly) and computer scientists (courses on 'Formal Models in Programming').

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

The aim of this book is to increase the use of partial algebras, especially in computer science. It sets out to achieve this by presenting examples of increasing complexity of algebraic specifications using essentially partial operations, and by proving that structural induction alone yields on equationally partial algebras a complete calculus of abstract programs on parametrized abstract data types. It develops a special kind of partiality - the equational partiality - both as a sound formal basis for algebraic specifications with partial operations, and as a proper generalization of universal algebra from total algebras to partial ones. The book extends the modeltheoretic initial semantics of abstract data types with partial operations to behavioural semantics. Postgraduate and third year mathematicians (algebraists particularly) and computer scientists (courses on 'Formal Models in Programming').

"Sobre este título" puede pertenecer a otra edición de este libro.

  • EditorialClarendon Press
  • Año de publicación1987
  • ISBN 10 0198538065
  • ISBN 13 9780198538066
  • EncuadernaciónTapa dura
  • IdiomaInglés
  • Número de páginas220
  • Contacto del fabricanteno disponible

Comprar usado

Condición: Bien
Former library book; may include...
Ver este artículo

EUR 17,29 gastos de envío desde Estados Unidos de America a España

Destinos, gastos y plazos de envío

Otras ediciones populares con el mismo título

9783112573419: Initial Computability, Algebraic Specifications, and Partial Algebras

Edición Destacada

ISBN 10:  3112573412 ISBN 13:  9783112573419
Editorial: De Gruyter, 1987
Tapa dura

Resultados de la búsqueda para Initial Computability, Algebraic Specifications and...

Imagen de archivo

Reichel, Horst
ISBN 10: 0198538065 ISBN 13: 9780198538066
Antiguo o usado Tapa dura

Librería: Better World Books, Mishawaka, IN, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Nº de ref. del artículo: GRP93017864

Contactar al vendedor

Comprar usado

EUR 13,31
Convertir moneda
Gastos de envío: EUR 17,29
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Horst Reichel
Publicado por Clarendon Press, 1987
ISBN 10: 0198538065 ISBN 13: 9780198538066
Antiguo o usado Tapa dura

Librería: Ammareal, Morangis, Francia

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Hardcover. Condición: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1987. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Edition 1987. Ammareal gives back up to 15% of this item's net price to charity organizations. Nº de ref. del artículo: E-627-475

Contactar al vendedor

Comprar usado

EUR 36,79
Convertir moneda
Gastos de envío: EUR 6,00
De Francia a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Reichel, Horst
Publicado por Clarendon Press 03.12.1987., 1987
ISBN 10: 0198538065 ISBN 13: 9780198538066
Antiguo o usado Tapa dura

Librería: NEPO UG, Rüsselsheim am Main, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Sehr gut. 220 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 518 24,1 x 16,0 x 1,8 cm, Gebundene Ausgabe. Nº de ref. del artículo: 368207

Contactar al vendedor

Comprar usado

EUR 35,98
Convertir moneda
Gastos de envío: EUR 9,00
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito