Agent technology from a formal perspective (Record no. 6889)

000 -LEADER
fixed length control field 00683 a2200193 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 1852339470
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Language of cataloging DLC
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 006.3
245 00 - TITLE STATEMENT
Title Agent technology from a formal perspective
Statement of responsibility, etc. Christopher A. Rouff with Michael Hinchey
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. New York ;
-- London :
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. 2006.
300 ## - PHYSICAL DESCRIPTION
Extent xvi, 354 p. :
Other physical details ill. ;
Dimensions 25 cm.
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title NASA monographs in systems and software engineering
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Intelligent agents (Computer software)
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Intelligent agents (Computer software)
General subdivision Design.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Formal methods (Computer science)
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Rouff, Chris,
Dates associated with a name 1960-
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Hinchey, Michael G.
Dates associated with a name 1969-
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Book
Call number prefix 006.3 ROU
Source of classification or shelving scheme
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Permanent Location Current Location Shelving location Date acquired Source of acquisition Cost, normal purchase price Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
          Central Library (CL) Central Library (CL) First Floor - Artificial Intelligence/Data Mining 03/10/2006 A&J DEF Tek Consultant 5834.04   006.3 ROU SEECS007084 11/14/2012 01/05/2017 Book
© 2023 Central Library, National University of Sciences and Technology. All Rights Reserved.