Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement
Author | : Bastian Dölle |
Publisher | : Cuvillier Verlag |
Total Pages | : 173 |
Release | : 2007 |
ISBN-10 | : 9783867274524 |
ISBN-13 | : 3867274525 |
Rating | : 4/5 (24 Downloads) |
Book Synopsis Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement by : Bastian Dölle
Download or read book Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement written by Bastian Dölle and published by Cuvillier Verlag. This book was released on 2007 with total page 173 pages. Available in PDF, EPUB and Kindle. Book excerpt: