國立高雄大學圖資館 |

語系: 繁體中文

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Validation and verification of knowl...

(1998 :)

Validation and verification of knowledge based systems :theory, tools, and practice /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Validation and verification of knowledge based systems :editors, Anca Vermesan, Frans Coenen.
其他題名:	theory, tools, and practice /
其他作者:	Vermesan, Anca.
出版者:	Boston :Kluwer Academic,1999.
面頁冊數:	xiv, 364 p. :ill. ;25 cm.
標題:	Computer softwareValidation.
ISBN:	0792386450 (HB) :

Validation and verification of knowledge based systems :theory, tools, and practice /
Validation and verification of knowledge based systems :theory, tools, and practice /editors, Anca Vermesan, Frans Coenen. - Boston :Kluwer Academic,1999. - xiv, 364 p. :ill. ;25 cm.

Includes bibliographical references.

ISBN: 0792386450 (HB) :NT$6484

LCCN: 99052007 Subjects--Topical Terms:

184732
Computer software
--Validation.

LC Class. No.: QA76.76.V47 / V172 1999

Dewey Class. No.: 006.3/3

Validation and verification of knowledge based systems :theory, tools, and practice /
LDR:00591nam 2200181 a 450 001 154445
005 19971029151130.0
008 090528s1999 maua 000 0 eng
010 $a 99052007
020 $a 0792386450 (HB) : $c NT$6484
035 $a 00085579
040 $a DLC $c DLC
042 $a pcc
050 $a QA76.76.V47 $b V172 1999
082 0 0 $2 21 $a 006.3/3
245 0 0 $a Validation and verification of knowledge based systems : $b theory, tools, and practice / $c editors, Anca Vermesan, Frans Coenen.
260 $a Boston : $c 1999. $b Kluwer Academic,
300 $a xiv, 364 p. : $b ill. ; $c 25 cm.
504 $a Includes bibliographical references.
650 $a Computer software $x Validation. $3 184732
650 $a Computer software $x Verification. $3 184731
650 $a Expert systems (Computer science) $3 182450
700 $a Vermesan, Anca. $3 211481
700 $a Coenen, Frans, $d 1957- $3 211482
710 $a Norske Veritas (Organization) $3 211483
710 $a British Computer Society. $b Specialist Group on Expert Systems. $3 211484
711 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767