Algebraic Foundations of Systems Specification - Rilegato

 
9783540637721: Algebraic Foundations of Systems Specification
Rilegato
ISBN 10: 3540637729 ISBN 13: 9783540637721
Casa editrice: Springer Verlag, 1999

Sinossi

This IFIP report is a collection of fundamental, high-quality contributions on the algebraic foundations of system specification. The contributions cover and survey active topics and recent advances, and address such subjects as: the role of formal specification, algebraic preliminaries, partiality, institutions, specification semantics, structuring, refinement, specification languages, term rewriting, deduction and proof systems, object specification, concurrency, and the development process. The authors are well-known experts in the field, and the book is the result of IFIP WG 1.3 in cooperation with Esprit Basic Research WG COMPASS, and provides the foundations of the algebraic specification language CASL designed in the CoFI project. For students, researchers, and system developers.

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

Editore
Springer Verlag
Data di pubblicazione
1999
Lingua
Inglese
ISBN 10 
3540637729
ISBN 13 
9783540637721
Rilegatura
Copertina rigida
Numero di pagine
615
Redattore
Astesiano E., Kreowski H. J., Krieg-Bruckner B.
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

9783642641510: Algebraic Foundations of Systems Specification

Edizione in evidenza

ISBN 10:  3642641512 ISBN 13:  9783642641510
Casa editrice: Springer, 2011
Brossura