國立虎尾科技大學 |

登入

回首頁

Design patterns formalization techniques

Taibi, Toufik, (1969-)

Design patterns formalization techniques

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Design patterns formalization techniques/ Toufik Taibi [editor].
其他作者:	Taibi, Toufik,
出版者:	Hershey, PA :IGI Pub., : c2007.,
面頁冊數:	xiii, 384 p. :ill. :
標題:	Software architecture. -
電子資源:	Click to View

Design patterns formalization techniques
Design patterns formalization techniques[electronic resource] /Toufik Taibi [editor]. - Hershey, PA :IGI Pub.,c2007. - xiii, 384 p. :ill.

Includes bibliographical references and index.

"This book focuses on formalizing the solution element of patterns, providing tangible benefits to pattern users, researchers, scholars, academicians, practitioners and students working in the field of design patterns and software reuse; it explains details on several specification languages, allowing readers to choose the most suitable formal technique to solve their specific inquiries"--Provided by publisher.

Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.

Subjects--Topical Terms:

557658
Software architecture.
Index Terms--Genre/Form:

554714
Electronic books.

LC Class. No.: QA76.76.P37 / D47 2007

Dewey Class. No.: 005.1

Design patterns formalization techniques
LDR:01655nam 2200361 a 4500 001 1076026
003 MiAaPQ
005 20200520144314.0
006 m o d |
007 cr cn|||||||||
008 221104s2007 paua sb 001 0 eng
010 $z 2006035478
020 $z 1599042193
020 $z 9781599042190
020 $z 1599042207 (pbk.)
020 $z 9781599042206 (pbk.)
020 $z 1599042215 (ebook)
020 $z 9781599042213 (ebook)
035 $a (MiAaPQ)EBC3309090
035 $a (Au-PeEL)EBL3309090
035 $a (CaPaEBR)ebr10169536
035 $a (CaONFJC)MIL82527
035 $a (OCoLC)537783094
035 $a EBC3309090
040 $a MiAaPQ $c MiAaPQ $d MiAaPQ
050 4 $a QA76.76.P37 $b D47 2007
082 0 4 $a 005.1 $2 22
245 0 0 $a Design patterns formalization techniques $h [electronic resource] / $c Toufik Taibi [editor].
260 $a Hershey, PA : $b IGI Pub., $c c2007.
300 $a xiii, 384 p. : $b ill.
504 $a Includes bibliographical references and index.
520 $a "This book focuses on formalizing the solution element of patterns, providing tangible benefits to pattern users, researchers, scholars, academicians, practitioners and students working in the field of design patterns and software reuse; it explains details on several specification languages, allowing readers to choose the most suitable formal technique to solve their specific inquiries"--Provided by publisher.
533 $a Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
650 0 $a Software architecture. $3 557658
650 0 $a Formal methods (Computer science) $3 564790
650 0 $a Software patterns. $3 557659
655 4 $a Electronic books. $2 local $3 554714
700 1 $a Taibi, Toufik, $d 1969- $3 564791
710 2 $a ProQuest (Firm) $3 1133097
856 4 0 $u https://ebookcentral.proquest.com/lib/nfu/detail.action?docID=3309090 $z Click to View

筆 0 讀者評論

多媒體

評論

新增評論分享你的心得

Export

取書館別