Normal view MARC view

Entry Personal Name

Number of records used in: 6

001 - CONTROL NUMBER

  • control field: 31187

003 - CONTROL NUMBER IDENTIFIER

  • control field: AT-ISTA

005 - DATE AND TIME OF LATEST TRANSACTION

  • control field: 20200626103341.0

008 - FIXED-LENGTH DATA ELEMENTS

  • fixed length control field: 200626|| aca||aabn | a|a d

040 ## - CATALOGING SOURCE

  • Original cataloging agency: AT-ISTA
  • Transcribing agency: AT-ISTA

100 ## - HEADING--PERSONAL NAME

  • Personal name: Majumdar, Rupak

670 ## - SOURCE DATA FOUND

  • Source citation: Work cat.: (AT-ISTA): International SPIN Workshop (15th : 2008 : Los Angeles, Calif.) 31185, Model checking software :, 2008.

Powered by Koha