國立高雄大學圖資館 |

Language: English

圖資館首頁

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Reactive systemsmodelling, specifica...

~

Aceto, Luca.

Reactive systemsmodelling, specification and verification /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Reactive systemsLuca Aceto ... [et al.].
Reminder of title:	modelling, specification and verification /
other author:	Aceto, Luca.
Published:	Cambridge ;Cambridge University Press,2007.
Description:	xvi, 284 p. :ill. ;26 cm.
Notes:	Title from e-book title screen (viewed January 8, 2008).
Subject:	Expert systems (Computer science)Validation.
Online resource:	Connect to MyiLibrary resource
ISBN:	9786611040413

Reactive systemsmodelling, specification and verification /
Reactive systemsmodelling, 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

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

000000018198

電子館藏

1圖書

電子書

EB QA76.76.E95 A173 2007

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Multimedia

Multimedia file
http://libsw.nuk.edu.tw:81/login?url=http://www.myilibrary.com?id=104041

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login