國立虎尾科技大學 |

語系: 繁體中文

說明(常見問題)

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Reactive systems : modelling, specif...

~

Aceto, Luca.

Reactive systems : modelling, specification and verification

紀錄類型:	書目-語言資料,印刷品 : 單行本
副題名:	modelling, specification and verification
作者:	AcetoLuca.,
合作者:	Anna Ingolfsdottir1952-
合作者:	LarsenK. G., 1957-
合作者:	SrbaJiri.,
出版地:	Cambridge
出版者:	Cambridge University Press;
出版年:	2007.
面頁冊數:	xvi, 284 p.ill. : 26 cm.;
標題:	Expert systems (Computer science) - Validation. -
標題:	Expert systems (Computer science) - Verification. -
標題:	System design - Mathematical models. -
附註:	Includes bibliographical references (p. 267-279) and index.

Reactive systems : modelling, specification and verification
Aceto, Luca.

Reactive systems : modelling, specification and verification / Luca Aceto ... [et al.]. - Cambridge : Cambridge University Press, 2007.. - xvi, 284 p. ; ill. ; 26 cm..
Includes bibliographical references (p. 267-279) and index..
ISBN 0521875463ISBN 9780521875462
Expert systems (Computer science)Expert systems (Computer science)System design -- Validation. -- Verification. -- Mathematical models.

Anna Ingolfsdottir

Reactive systems : modelling, specification and verification
LDR:00822nam0 2200265 4500 001 556490
005 20101024105326.0
009 a(OCoLC)ocn123374684
009 2007282029
010 1 $d NT2073
010 1 $a 0521875463 $b hbk.
010 1 $a 9780521875462 $b hbk. $d US75.00
020 $b 2007282029
042 $a lccopycat $a ukblcatcopy
100 $a 20090113h akaa0chia50020302ba
101 0 $a eng
102 $a gb
105 $a a a 001yy
200 1 $a Reactive systems $e modelling, specification and verification $f Luca Aceto ... [et al.].
210 $a Cambridge $a New York $d 2007. $c Cambridge University Press
215 1 $a xvi, 284 p. $c ill. $d 26 cm.
300 $a Includes bibliographical references (p. 267-279) and index.
606 $2 lc $a Expert systems (Computer science) $x Validation. $3 550419
606 $2 lc $a Expert systems (Computer science) $x Verification. $3 550420
606 $2 lc $a System design $x Mathematical models. $3 550421
676 $a 006.330151 $v 22
680 $a QA76.76.E95 $b R39 2007
700 $a Aceto $b Luca. $3 550415
701 $a Anna Ingolfsdottir $f 1952- $3 550416
701 $a Larsen $b K. G. $f 1957- $g Kim G. $3 550417
701 $a Srba $b Jiri. $3 550418
801 0 $a US $b DLC $c 20080730 $g AACR2
801 2 $a TW $b NFU $c 20090703 $g CCR $m 3

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

E028088

圖書館3F 書庫

一般圖書(BOOK)

一般圖書

006.330151 R281 2007

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]

登入