Abstract state machines : a method for high-level system design and analysis (Record no. 5841)

000 -LEADER
fixed length control field 00547nam a2200181Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 161214s9999 xx 000 0 und d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540007024
Terms of availability hbk
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.21
Item number BOR
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Stark, Robert
245 #0 - TITLE STATEMENT
Title Abstract state machines : a method for high-level system design and analysis
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Berlin:
Name of publisher, distributor, etc Springer,
Date of publication, distribution, etc 2003
300 ## - PHYSICAL DESCRIPTION
Extent x, 432 p.;
Other physical details :
Dimensions 24 cm.
365 ## - TRADE PRICE
Price type code INR
Price amount 2046.19
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer software
Topical term or geographic name as entry element Embedded computer systems
Topical term or geographic name as entry element System design
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Borger, Egon
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Permanent location Current location Date acquired Source of acquisition Cost, normal purchase price Total Checkouts Full call number Barcode Date last seen Date last borrowed Koha item type
          DAIICT DAIICT 2004-12-08 Himanshu Book Co.Invoice No.#088422; 01-12-2004 2046.19 1 004.21 BOR 011400 2017-05-16 2017-02-28 Books
          DAIICT DAIICT 2017-01-18       004.21 BOR C00945 2017-01-18   CD-DVDs

Powered by Koha