語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
到查詢結果
[ subject:"Computer software- Verification." ]
切換:
標籤
|
MARC模式
|
ISBD
Data flow analysis = theory and prac...
~
Khedker, Uday.
FindBook
Google Book
Amazon
博客來
Data flow analysis = theory and practice /
紀錄類型:
書目-電子資源 : Monograph/item
正題名/作者:
Data flow analysis/ Uday P. Khedker, Amitabha Sanyal, Bageshri Karkare.
其他題名:
theory and practice /
作者:
Khedker, Uday.
其他作者:
Sanyal, Amitabha.
出版者:
Boca Raton, FL :CRC Press/Taylor & Francis, : c2009.,
面頁冊數:
1 online resource (xiii, 386 p.) :ill.
標題:
Compilers (Computer programs) -
電子資源:
http://www.crcnetbase.com/isbn/9780849328800
ISBN:
9780849332517 (electronic bk.)
Data flow analysis = theory and practice /
Khedker, Uday.
Data flow analysis
theory and practice /[electronic resource] :Uday P. Khedker, Amitabha Sanyal, Bageshri Karkare. - Boca Raton, FL :CRC Press/Taylor & Francis,c2009. - 1 online resource (xiii, 386 p.) :ill.
Includes bibliographical references (p. 371-278) and index.
ISBN: 9780849332517 (electronic bk.)Subjects--Topical Terms:
535138
Compilers (Computer programs)
Index Terms--Genre/Form:
542853
Electronic books.
LC Class. No.: QA76.76.C65 / K54 2009eb
Dewey Class. No.: 004/.35
Data flow analysis = theory and practice /
LDR
:00980cmm a2200265Ia 4500
001
1902123
003
OCoLC
005
20140108090639.0
006
m o d
007
cr cnu---unuuu
008
240124s2009 flua ob 001 0 eng d
020
$a
9780849332517 (electronic bk.)
020
$a
0849332516 (electronic bk.)
020
$a
0849328802 (hbk.)
020
$a
9780849328800 (hbk.)
035
$a
ocn449661968
035
$a
1902123
040
$a
N
$b
eng
$c
N
$d
CUS
$d
VLB
$d
OCLCQ
$d
VLB
$d
OCLCQ
$d
TULIB
$d
OCLCQ
$d
YDXCP
$d
OCLCF
050
4
$a
QA76.76.C65
$b
K54 2009eb
082
0 4
$a
004/.35
$2
22
100
1
$a
Khedker, Uday.
$3
2018204
245
1 0
$a
Data flow analysis
$h
[electronic resource] :
$b
theory and practice /
$c
Uday P. Khedker, Amitabha Sanyal, Bageshri Karkare.
260
$a
Boca Raton, FL :
$b
CRC Press/Taylor & Francis,
$c
c2009.
300
$a
1 online resource (xiii, 386 p.) :
$b
ill.
504
$a
Includes bibliographical references (p. 371-278) and index.
588
$a
Description based on print version record.
650
0
$a
Compilers (Computer programs)
$3
535138
650
0
$a
Data flow computing.
$3
1005622
650
0
$a
Software engineering.
$3
559826
650
0
$a
Computer software
$x
Verification.
$3
828401
655
4
$a
Electronic books.
$2
lcsh
$3
542853
700
1
$a
Sanyal, Amitabha.
$3
2018205
700
1
$a
Karkare, Bageshri.
$3
2018206
856
4 0
$u
http://www.crcnetbase.com/isbn/9780849328800
筆 0 讀者評論
館藏地:
全部
電子資源
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W9239351
電子資源
11.線上閱覽_V
電子書
EB QA76.76.C65 K54 2009eb
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入