Andere Kunden interessierten sich auch für
![Language Prototyping: An Algebraic Specification Approach]( "Language Prototyping: An Algebraic Specification Approach")
Language Prototyping: An Algebraic Specification Approach120,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 Specification42,99 €![An Algebraic Approach to Compiler Design]( "An Algebraic Approach to Compiler Design")
An Algebraic Approach to Compiler Design85,99 €![Real Time Programming: Languages, Specification and Verification]( "Real Time Programming: Languages, Specification and Verification")
Real Time Programming: Languages, Specification and Verification109,99 €![The Impact of Case Technology on Software Processes]( "The Impact of Case Technology on Software Processes")
The Impact of Case Technology on Software Processes138,99 €![Software Engineering and Knowledge Engineering: Trends for the Next Decade]( "Software Engineering and Knowledge Engineering: Trends for the Next Decade")
Software Engineering and Knowledge Engineering: Trends for the Next Decade129,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 Toolkit77,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.