Subject Summary
Subject Books
Subjects Search
Recently Added
Expert systems (Computer science) -- Verification
Referred from 7 books
All Books on this Subject
Computer-aided verification of coordinating processes
Computer-aided verification of coordinating processes: the automata-theoretic approach
Robert P. Kurshan
Publisher: Princeton, N.J. :
Princeton University Press
, c1994.
ISBN: 0691034362 LCC: TS183.3
Reactive systems
Reactive systems: modelling, specification and verification
Luca Aceto
,
Anna Ingólfsdóttir
,
Kim Guldstrand Larsen
,
Jiri Srba
,
Publisher: Cambridge :
Cambridge University Press
, 2007.
ISBN: 0521875463 DDC: 6.330151 Edition: (hbk.) :£40.00
Reactive systems
Reactive systems modelling, specification and verification
Luca Aceto
... [et al.]
Publisher: Cambridge, UK ;
Cambridge University Press
, c2007.
ISBN: 0511335350 LCC: QA76.76 Edition: (electronic bk.)
Validation and verification of knowledge-based systems
[compiled by]
Uma G. Gupta
Publisher: Los Alamos, Calif. :
IEEE Computer Society Press
, 1991.
ISBN: 0818659955 Edition: (microfiche)
Validation and verification of knowledge-based systems
[compiled by]
Uma G. Gupta
Publisher: Los Alamos, Calif. :
IEEE Computer Society Press
, 1991.
ISBN: 0818689951 Edition: (case)
Verifying and validating personal computer-based expert systems
A.
Terry Bahill
Publisher: Englewood Cliffs, N.J. :
Prentice Hall
, c1991.
ISBN: 0139574573 DDC: 6.33 LCC: QA76.76
Copyright © 2002-2009 ISBNdb.com
FAQ
|
Privacy Policy
|
Contact ISBNdb.com
