國立高雄大學圖資館 |

Language: English

Back

Design patterns formalization techniques

MyiLibrary.

Design patterns formalization techniques

Record Type:	Electronic resources : Monograph/item
Title/Author:	Design patterns formalization techniquesToufik Taibi [editor].
other author:	Taibi, Toufik,
Published:	Hershey, PA :IGI Pub.,c2007.
Description:	xiii, 384 p. :ill. ;27 cm.
Notes:	Title from e-book title screen (viewed October 15, 2007).
Subject:	Software patterns.
Online resource:	Connect to MyiLibrary resource
ISBN:	9786610825271

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

Title from e-book title screen (viewed October 15, 2007).

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.
UK :
MyiLibrary,
2007

Access may be limited to MIL affiliated libraries.

ISBN: 9786610825271

LCCN: 2006035478Subjects--Topical Terms:

215120
Software patterns.
Index Terms--Genre/Form:

214472
Electronic books.

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

Dewey Class. No.: 005.1

Design patterns formalization techniques
LDR:01454nmm _22002653a_450 001 193045
005 20070601122233.0
006 m d
007 cr zn |
008 090528s2007 paua sb 001 0 eng
010 $a 2006035478
020 $a 9786610825271
020 $z 1599042193 (Cloth)
020 $z 1599042215 (electronic bk.)
035 $a 00347607
040 $a UK-RwCLS $c UK-RwCLS
050 1 4 $a QA76.76.P37 $b D47 2007eb
082 0 4 $2 22 $a 005.1
245 0 0 $a Design patterns formalization techniques $c Toufik Taibi [editor]. $h [electronic resource] /
260 # $a Hershey, PA : $c c2007. $b IGI Pub.,
300 $a xiii, 384 p. : $b ill. ; $c 27 cm.
500 $a Title from e-book title screen (viewed October 15, 2007).
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. $b UK : $c MyiLibrary, $d 2007 $n Access may be limited to MIL affiliated libraries. $n Available via World Wide Web.
650 # 0 $a Software patterns. $3 215120
650 # 0 $a Formal methods (Computer science) $3 277520
650 # 0 $a Software architecture. $3 230927
655 # 0 $a Electronic books. $2 local. $3 214472
700 0 # $a Taibi, Toufik, $d 1969- $3 293493
710 0 # $a MyiLibrary. $3 286823
856 4 # $u http://libsw.nuk.edu.tw:81/login?url=http://www.myilibrary.com?id=82527 $z Connect to MyiLibrary resource