Algebraic Methods: Theory, Tools and Applications (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 394, Band 394) - Softcover

 
9783540516989: Algebraic Methods: Theory, Tools and Applications (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 394, Band 394)
Softcover
ISBN 10: 3540516980 ISBN 13: 9783540516989
Verlag: Springer, 1989

Inhaltsangabe

Algebraic specification a step towards future software engineering.- How to make algebraic specifications more understandable?.- Efficient implementation of an algebraic specification language.- An integrated algebraic approach to the specification of data types, processes and objects.- Software specification by behavioural canons.- An introduction to COLD-K.- A formal specification of INGRES.- The logic MPL?.- Description algebra.- The calculus ??.- The RAP system as a tool for testing COLD specifications.- A specification of the intel 8085 microprocessor: A case study.- Specification and prototyping of a compiler for a small applicative language.- Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype.- ACP? a universal axiom system for process specification.- Modular specifications in process algebra.- An algebraic specification of process algebra, including two examples.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
1989
Sprache
Englisch
ISBN 10 
3540516980
ISBN 13 
9783540516989
Einband
Taschenbuch
Anzahl der Seiten
568
Herausgeber
Wirsing M.
Kontakt zum Hersteller
GPSR Kontakt
ProductSafety@springernature.com

Slevogtstraße 3-5
Heidelberg
69126
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783540539124: Algebraic Methods II: Theory, Tools and Applications (Lecture Notes in Computer Science, 490, Band 490)

Vorgestellte Ausgabe

ISBN 10:  3540539123 ISBN 13:  9783540539124
Verlag: Springer, 2008
Softcover