語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Reactive systems = modelling, specif...
~
ProQuest (Firm)
Reactive systems = modelling, specification and verification /
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Reactive systems/ Luca Aceto ... [et al.].
其他題名:
modelling, specification and verification /
其他作者:
Aceto, Luca.
出版者:
Cambridge :Cambridge University Press, : 2007.,
面頁冊數:
xvi, 284 p. :ill. :
標題:
System design - Mathematical models. -
電子資源:
Click to View
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.
Includes bibliographical references and index.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Subjects--Topical Terms:
567498
System design
--Mathematical models.Index Terms--Genre/Form:
554714
Electronic books.
LC Class. No.: QA76.76.E95 / R39 2007
Dewey Class. No.: 006.330151
Reactive systems = modelling, specification and verification /
LDR
:01090nam 2200289Ia 4500
001
1072610
003
MiAaPQ
005
20200520144314.0
006
m o d |
007
cr cn|||||||||
008
221104s2007 enka sb 001 0 eng d
020
$z
9780521875462 (hbk.) :
020
$z
0521875463 (hbk.) :
035
$a
(MiAaPQ)EBC307431
035
$a
(Au-PeEL)EBL307431
035
$a
(CaPaEBR)ebr10193789
035
$a
(CaONFJC)MIL104041
035
$a
(OCoLC)174526190
035
$a
EBC307431
040
$a
MiAaPQ
$c
MiAaPQ
$d
MiAaPQ
050
4
$a
QA76.76.E95
$b
R39 2007
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 :
$b
Cambridge University Press,
$c
2007.
300
$a
xvi, 284 p. :
$b
ill.
504
$a
Includes bibliographical references and index.
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
System design
$x
Mathematical models.
$3
567498
650
0
$a
Expert systems (Computer science)
$x
Verification.
$3
567497
650
0
$a
Expert systems (Computer science)
$x
Validation.
$3
567496
655
4
$a
Electronic books.
$2
local
$3
554714
700
1
$a
Aceto, Luca.
$3
567499
710
2
$a
ProQuest (Firm)
$3
1133097
856
4 0
$u
https://ebookcentral.proquest.com/lib/nfu/detail.action?docID=307431
$z
Click to View
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入