Timed boolean functions: A unified formalism for exact timimg analysis (Record no. 445415)

MARC details
000 -LEADER
fixed length control field 00443nam a2200157 4500
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004 LAM-T
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Lam, William K C
Relator term
245 ## - TITLE STATEMENT
Title Timed boolean functions: A unified formalism for exact timimg analysis
Statement of responsibility, etc. William K C Lam and Robert K Brayton
250 ## - EDITION STATEMENT
Edition statement
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Kluwer Academic Publishers, Dordrecht
Date of publication, distribution, etc. 1994
300 ## - PHYSICAL DESCRIPTION
Extent
490 ## - SERIES STATEMENT
Series statement
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer science
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Brayton, Robert K
Relator term
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Book
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
        Dept. of Mathematics Dept. of Mathematics Processing Center 06/01/2022   004 LAM-T MAT4286 01/11/2019 01/11/2019 Book