國立虎尾科技大學 |

Language: English

Back

Design patterns formalization techniques

Taibi, Toufik, (1969-)

Design patterns formalization techniques

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Design patterns formalization techniques/ Toufik Taibi [editor].
other author:	Taibi, Toufik,
Published:	Hershey, PA :IGI Pub., : c2007.,
Description:	xiii, 384 p. :ill. :
Subject:	Software architecture. -
Online resource:	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

based on 0 review(s)

Multimedia

Reviews

Add a review and share your thoughts with other readers

Export

pickup library