Language:
English
繁體中文
Help
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 : Monograph/item
Title/Author:
Reactive systems/ Luca 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:
System design - Mathematical models. -
Online resource:
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:
567498
System design
--Mathematical models.Index Terms--Genre/Form:
554714
Electronic books.
LC Class. No.: QA76.76.E95 / R39 2007eb
Dewey Class. No.: 006.330151
Reactive systems = modelling, specification and verification /
LDR
:01084nam 22002773a 4500
001
562795
005
20071124232901.0
006
m d
007
cr zn |
008
090326s2007 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
$a
System design
$x
Mathematical models.
$3
567498
650
$a
Expert systems (Computer science)
$x
Verification.
$3
567497
650
$a
Expert systems (Computer science)
$x
Validation.
$3
567496
655
$a
Electronic books.
$2
local
$3
554714
700
$a
Aceto, Luca.
$3
567499
710
$a
MyiLibrary.
$3
554718
856
4
$z
Connect to MyiLibrary resource
$u
http://www.myilibrary.com?id=104041
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login