Description: Design patterns formalization techniques

Other Authors:	Taibi, Toufik
Published:	Hershey, PA.: IGI Pub., 2007.
Subjects:	Software architecture Formal methods (Computer science) Software pattens

Physical Description:	viii, 382 p.: ill.; 26 cm..
Bibliography:	Includes bibliographical references and index
ISBN:	9781599042190