Language:
English
繁體中文
Help
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Reactive systems = modelling, specif...
~
ProQuest (Firm)
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. :
Subject:
System design - Mathematical models. -
Online resource:
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
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login