國立虎尾科技大學 |

Language: English

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Reactive systems : modelling, specif...

~

Aceto, Luca.

Reactive systems : modelling, specification and verification

Record Type:	Language materials, printed : monographic
Title Information:	modelling, specification and verification
Author:	AcetoLuca.,
Alternative Intellectual Responsibility:	Anna Ingolfsdottir1952-
Alternative Intellectual Responsibility:	LarsenK. G., 1957-
Alternative Intellectual Responsibility:	SrbaJiri.,
Place of Publication:	Cambridge
Published:	Cambridge University Press;
Year of Publication:	2007.
Description:	xvi, 284 p.ill. : 26 cm.;
Subject:	Expert systems (Computer science) - Validation. -
Subject:	Expert systems (Computer science) - Verification. -
Subject:	System design - Mathematical models. -
Notes:	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

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

E028088

圖書館3F 書庫

一般圖書(BOOK)

一般圖書

006.330151 R281 2007

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login