| Type |  Book |
| ชื่อเรื่อง | Design patterns formalization techniques / edited by Toufik Taibi |
| ISBN | 1599042193 |
| | 9781599042190 |
| พิมพลักษณ์ | Hershey, Pa. : IGI Pub., c2007 |
| รูปเล่ม | 384 p. : ill |
| หัวเรื่อง | Formal methods (Computer science) |
| | Software architecture |
| | Software patterns |