語系:
繁體中文
English
說明(常見問題)
回圖書館
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Reactive systems = modelling, specif...
~
Aceto, Luca.
Reactive systems = modelling, specification and verification /
紀錄類型:
書目-電子資源 : 單行本
正題名/作者:
Reactive systems/ Luca 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).
標題:
System design - Mathematical models. -
電子資源:
Connect to MyiLibrary resource
ISBN:
9786611040413
Reactive systems = modelling, 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
Available via World Wide Web.
ISBN: 9786611040413
Nat. Bib. No.: GBA728518bnb
Nat. Bib. Agency Control No.: 013715613UkSubjects--Topical Terms:
353819
System design
--Mathematical models.Index Terms--Genre/Form:
96803
Electronic books.
LC Class. No.: QA76.76.E95 / R39 2007eb
Dewey Class. No.: 006.330151
Reactive systems = modelling, specification and verification /
LDR
:01084nmm 22002773a 4500
001
181226
005
20071124232901.0
006
m d
007
cr zn |
008
160308s2007 enka sb 001 0 eng
015
$a
GBA728518
$2
bnb
016
7
$a
013715613
$2
Uk
020
$a
9786611040413
020
$z
0521875463 (Cloth)
020
$z
051133477X (electronic bk.)
035
$a
104041
$b
MIL
035
$a
cis6512817
040
$a
UK-RwCLS
$c
UK-RwCLS
050
1 4
$a
QA76.76.E95
$b
R39 2007eb
082
0 4
$a
006.330151
$2
22
245
0 0
$a
Reactive systems
$h
[electronic resource] :
$b
modelling, specification and verification /
$c
Luca Aceto ... [et al.].
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
Available via World Wide Web.
$n
Access may be limited to MIL affiliated libraries.
650
0
$a
System design
$x
Mathematical models.
$3
353819
650
0
$a
Expert systems (Computer science)
$x
Verification.
$3
353818
650
0
$a
Expert systems (Computer science)
$x
Validation.
$3
353817
655
7
$a
Electronic books.
$2
local.
$3
96803
700
1
$a
Aceto, Luca.
$3
353816
710
2
$a
MyiLibrary.
$3
311848
856
4
$z
Connect to MyiLibrary resource
$u
http://www.myilibrary.com?id=104041
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼
登入