Artículos relacionados a Dynamics and Control of Machines (IFIP State-of-the-Art...

Dynamics and Control of Machines (IFIP State-of-the-Art Reports) - Tapa dura

 
9783540637721: Dynamics and Control of Machines (IFIP State-of-the-Art Reports)
Tapa dura
ISBN 10: 3540637729 ISBN 13: 9783540637721
Editorial: Springer Verlag, 2000

Sinopsis

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.

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

Reseña del editor

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.

Reseña del editor

This IFIP state-of-the-art report presents a collection of fundamental high-quality contributions on the algebraic foundations of systems specification. The contributions cover and survey current 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. The book is an outcome of IFIP WG 1.3 (Foundations of Systems Specification) in cooperation with Esprit Basic Research WG COMPASS, and provides the foundations of the algebraic specification language CASL designed in the CoFI (Common Framework Initiative for Algebraic Specification and Development) project. It is aimed at system developers, researchers, and students.

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

Editorial
Springer Verlag
Año de publicación
2000
Idioma
Inglés
ISBN 10 
3540637729
ISBN 13 
9783540637721
Encuadernación
Tapa dura
Número de páginas
616
Editor
Astesiano Egidio, Kreowski Hans-Jörg, Krieg-Brückner Bernd
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania