Titolo: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Monographs in Theoretical Computer Science. An EATCS Series)
Editore: Springer
Data di pubblicazione: 2011
Lingua: Inglese
ISBN 10: 3642699642
ISBN 13: 9783642699641
Rilegatura: Brossura
Condizione: New

Descrizione articolo

Riassunto

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.

Contenuti

Historical Remarks.- The Chapters of this Volume.- Further Topics.- 1 Equational Specifications and Algebras.- Basic Examples.- Signatures, Terms, and Algebras.- Equational Specifications and Derivations.- Bibliographic Notes for Chapter 1.- 2 Specifications of Abstract Data Types.- Abstract Data Types.- Quotient Term Algebras.- Semantics and Correctness of Specifications.- Bibliographic Notes for Chapter 2.- 3 Initial Semantics of Specifications.- Facts about Homomorphisms.- Term Algebras, Initial and Free Algebras.- Congruences and Quotients.- Initial and Free SPEC-Algebras.- Bibliographic Notes for Chapter 3.- 4 Specifiability and Characterization of Equational Classes.- Equational Theory and Equational Classes.- Subalgebras.- Products.- Homomorphic Images.- Birkhoff-Characterizations of Equational Classes.- Bibliographic Notes for Chapter 4.- 5 Equational Calculus and Term Rewriting.- Formal Proofs by Equations.- Correctness and Completeness of the Equational Calculus.- Term Rewriting with Equations.- Equivalence of Proofs and Term Rewriting with Equations.- Bibliographic Notes for Chapter 5.- 6 Correctness and Extension of Specifications.- Initial Correctness of Specifications.- Correctness of Specifications with Hidden Functions.- Stepwise Specification by Extensions.- Correctness of Example Specifications.- Bibliographic Notes for Chapter 6.- 7 Parameterized Specifications and Functors.- Parameterized Specifications.- Categories and Functors.- Free Constructions and Free Functors.- Semantics and Correctness of Parameterized Specifications.- Bibliographic Notes for Chapter 7.- 8 Parameter Passing.- Specification Morphisms.- Standard Parameter Passing and Pushouts.- Amalgamation.- Persistency and Extension of Functors.- Correctness of Standard Parameter Passing.- Parameterized Parameter Passing.- Iterated Parameter Passing.- Bibliographic Notes for Chapter 8.- 9 Concepts of a Specification Language.- Basic Specifications.- Combination.- Renaming.- Actualization.- Modularization.- Syntax of the Specification Language ACT ONE.- 10 Semantics of the Specification Language ACT ONE.- First Level of Semantics.- Second Level of Semantics.- Semantical Properties and Context-Conditions.- Initial Algebra Semantics.- Bibliographic Notes for the Appendix.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Hello! Ria Christie Collections is an online venture that was initially set up in 2012 to sell books. We do not have a physical high street store. We are professional online booksellers. We only sell brand new books in perfect condition that we source from various suppliers and the publishers. Primarily, our aim is to provide an excellent service to all our customers. We always work as a team to achieve this. Our other objectives are to: 1. Ensure that all our products reach their destination quickly in a safe and secure manner 2. Answer to all our customer queries within 24 hours 3. Ensure that our customers are happy with their purchases 4. Provide all the items at a competitive price 5. Always listen to our customers Ria Christie Collections is not a registered company. It is a Sole Trader venture. Other key information is shown below: Contact Person Name: Rakesh Luchmun (Mr) Storefront Name: Ria Christie Collections Place of Establishment Address: Suite B; ARUN House; ARUN Building Arundel Road Uxbridge UB8 2RR United Kingdom E-Mail Address: riachristie@hotmail.co.uk VAT Number: GB 160 5650 25 We always work hard and aim to comply with all of Abebooks Policies. If you have any issues, please do not hesitate to write to us whether before or after a purchase. We promise to reply to you promptly and, in any case, within 24 hours. Thank you kindly! Yours sincerely Mr Rakesh Luchmun (Founder) and the Ria Christie Collections Team

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Ryefield Investments Limited
175 Pield Heath Road, Uxbridge, UB8 3NL, United Kingdom

Condizioni di vendita e spedizione

Condizioni di vendita

All Returns and Refund are as per Abebooks policies.

Diritto di recesso

Condizioni di spedizione

Orders usually ship within 2 business days. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required. Thank you!

Tariffe di spedizione da Regno Unito a U.S.A.

Tariffe di spedizione da Regno Unito a U.S.A.
Quantit� dell?ordine	Da 6 a 12 giorni lavorativi	Da 6 a 12 giorni lavorativi
Primo articolo	EUR 13.75	EUR 13.75

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.