Search -
Act: Algebraic Specification Techniques & Tools for Software Development (Amast Series in Computing)
Act Algebraic Specification Techniques Tools for Software Development - Amast Series in Computing Author:Hartmut Ehrig The book is well written and informative ...