Temporal logic of programs (Record no. 6665)

000 -LEADER
fixed length control field 00258nam a2200109 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 160616s 000 0
245 ## - TITLE STATEMENT
Title Temporal logic of programs
100 ## - MAIN ENTRY--AUTHOR NAME
Personal name Kroger, Fred
500 ## - GENERAL NOTE
General note D6,8(B) M72
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type BOOKS
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER
Universal Decimal Classification number 681.3.06 KRO
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Shelving location Full call number Accession Number Koha item type
        IMSc Library IMSc Library Second floor, Rack No: 49, Shelf No: 43 681.3.06 KRO 23009 BOOKS
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha