語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Reactive systemsmodelling, specifica...
~
Aceto, Luca.
Reactive systemsmodelling, specification and verification /
紀錄類型:
書目-電子資源 : Monograph/item
正題名/作者:
Reactive systemsLuca Aceto ... [et al.].
其他題名:
modelling, specification and verification /
其他作者:
Aceto, Luca.
出版者:
Cambridge ;Cambridge University Press,2007.
面頁冊數:
xvi, 284 p. :ill. ;26 cm.
附註:
Title from e-book title screen (viewed January 8, 2008).
標題:
Expert systems (Computer science)Validation.
電子資源:
Connect to MyiLibrary resource
ISBN:
9786611040413
Reactive systemsmodelling, specification and verification /
Reactive systems
modelling, specification and verification /[electronic resource] :Luca Aceto ... [et al.]. - Cambridge ;Cambridge University Press,2007. - xvi, 284 p. :ill. ;26 cm.
Title from e-book title screen (viewed January 8, 2008).
Includes bibliographical references and index.
Electronic reproduction.
UK :
MyiLibrary,
2008
Access may be limited to MIL affiliated libraries.
ISBN: 9786611040413
Nat. Bib. No.: GBA728518bnb
Nat. Bib. Agency Control No.: 013715613UkSubjects--Topical Terms:
295531
Expert systems (Computer science)
--Validation.Index Terms--Genre/Form:
214472
Electronic books.
LC Class. No.: QA76.76.E95 / R39 2007eb
Dewey Class. No.: 006.330151
Reactive systemsmodelling, specification and verification /
LDR
:01091nmm _22002653a_450
001
193939
005
20071124232901.0
006
m d
007
cr zn |
008
090528s2007 enka sb 001 0 eng
015
$2
bnb
$a
GBA728518
016
7
$2
Uk
$a
013715613
020
$a
9786611040413
020
$z
051133477X (electronic bk.)
020
$z
0521875463 (Cloth)
035
$a
00348501
040
$a
UK-RwCLS
$c
UK-RwCLS
050
1 4
$a
QA76.76.E95
$b
R39 2007eb
082
0 4
$2
22
$a
006.330151
245
0 0
$a
Reactive systems
$b
modelling, specification and verification /
$c
Luca Aceto ... [et al.].
$h
[electronic resource] :
260
#
$a
Cambridge ;
$a
New York :
$c
2007.
$b
Cambridge University Press,
300
$a
xvi, 284 p. :
$b
ill. ;
$c
26 cm.
500
$a
Title from e-book title screen (viewed January 8, 2008).
504
$a
Includes bibliographical references and index.
533
$a
Electronic reproduction.
$b
UK :
$c
MyiLibrary,
$d
2008
$n
Access may be limited to MIL affiliated libraries.
$n
Available via World Wide Web.
650
# 0
$a
Expert systems (Computer science)
$x
Validation.
$3
295531
650
# 0
$a
Expert systems (Computer science)
$x
Verification.
$3
295532
650
# 0
$a
System design
$x
Mathematical models.
$3
295533
655
# 0
$a
Electronic books.
$2
local.
$3
214472
700
0 #
$a
Aceto, Luca.
$3
279141
710
0 #
$a
MyiLibrary.
$3
286823
856
4 #
$u
http://libsw.nuk.edu.tw:81/login?url=http://www.myilibrary.com?id=104041
$z
Connect to MyiLibrary resource
筆 0 讀者評論
全部
電子館藏
館藏
1 筆 • 頁數 1 •
1
條碼號
館藏地
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
000000018198
電子館藏
1圖書
電子書
EB QA76.76.E95 A173 2007
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
多媒體檔案
http://libsw.nuk.edu.tw:81/login?url=http://www.myilibrary.com?id=104041
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼
登入