語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Design patterns formalization techniques
~
Taibi, Toufik (1969)
Design patterns formalization techniques
紀錄類型:
書目-語言資料,印刷品 : 單行本
其他作者:
TaibiToufik, 1969
出版地:
Hershey, PA
出版者:
IGI Pub;
出版年:
c2007
面頁冊數:
xiii, 384pll : 26cm;
標題:
Software architecture -
標題:
Formal methods (Computer science) -
標題:
Software patterns -
摘要註:
"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
ISBN:
1599042193
Design patterns formalization techniques
Design patterns formalization techniques
/ Toufik Taibi [editor] - Hershey, PA : IGI Pub, c2007. - xiii, 384p ; ll ; 26cm.
Includes bibliographical references and index.
ISBN 1599042193ISBN 1599042207ISBN 1599042215ISBN 9781599042206ISBN 9781599042213ISBN 9781599042190
Software architectureFormal methods (Computer science)Software patterns
Taibi, Toufik
Design patterns formalization techniques
LDR
:01258nam 2200289 i 450
001
501142
005
20200708114749.0
009
a(OCoLC)74492117
009
a(OCoLC)ocm74492117
009
a2006035478
010
1
$a
1599042193
010
1
$a
1599042207
$b
(pbk.)
010
1
$a
1599042215
$b
(ebook)
010
1
$a
9781599042206
$b
(pbk.)
010
1
$a
9781599042213
$b
(ebook)
010
1
$a
9781599042190
$b
(hbk.)
$d
US
100
$a
20080130d m y0chib
101
0
$a
eng
200
1
$a
Design patterns formalization techniques
$f
Toufik Taibi [editor]
210
$a
Hershey, PA
$d
c2007
$c
IGI Pub
215
0
$a
xiii, 384p
$c
ll
$d
26cm
320
$a
Includes bibliographical references and index
330
$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
606
#
$a
Software architecture
$3
474260
$2
lc
$3
726020
606
#
$a
Formal methods (Computer science)
$3
440780
$2
lc
$3
736340
606
#
$a
Software patterns
$3
429050
$2
lc
$3
726021
676
$a
005.1
$v
22
680
$a
QA76.76.P37
$b
D47 2007
702
0
$a
Taibi
$b
Toufik
$f
1969
$3
494077
801
0
$b
DLC
801
0
$a
cw
$b
BIB
$c
20071120
801
1
$a
cw
$b
虎尾科技大學圖書館
$c
20071120
筆 0 讀者評論
全部
圖書館3F 書庫
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
E032433
圖書館3F 書庫
一般圖書(BOOK)
一般圖書
005.1 D4571 2007
一般使用(Normal)
在架
0
預約
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入