Andere Kunden interessierten sich auch für
![Language Prototyping: An Algebraic Specification Approach]( "Language Prototyping: An Algebraic Specification Approach")
Language Prototyping: An Algebraic Specification Approach136,99 €![Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification]( "Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification")
Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification47,99 €![An Algebraic Approach to Compiler Design]( "An Algebraic Approach to Compiler Design")
An Algebraic Approach to Compiler Design96,99 €![Specification in B: An Introduction Using the B Toolkit]( "Specification in B: An Introduction Using the B Toolkit")
Specification in B: An Introduction Using the B Toolkit86,99 €![Software Development: Engineering and Applications]( "Software Development: Engineering and Applications")
Software Development: Engineering and Applications145,99 €![Real Time Programming: Languages, Specification and Verification]( "Real Time Programming: Languages, Specification and Verification")
Real Time Programming: Languages, Specification and Verification123,99 €![Metrics-Driven Enterprise Software Development: Effectively Meeting Evolving Business Needs]( "Metrics-Driven Enterprise Software Development: Effectively Meeting Evolving Business Needs")
Metrics-Driven Enterprise Software Development: Effectively Meeting Evolving Business Needs72,99 €
The intention of this book is to show how algebraic specification methods can be used for software development to support reliability, modifiability and reusability. These methods are introduced by parameterized and module specifications through practical examples and case studies using algebraic specification languages and tools developed at TU Berlin.