Normal view
MARC view
- Maibaum, Tom
Entry Имя лица
001 - Контрольный номер
- Контрольный номер: 327736
003 - Идентификатор контрольного номера
- Контрольное поле: RU-ToGU
005 - Дата и время последней транзакции
- Контрольное поле: 20210404102144.0
008 - Элементы данных фиксированной длины
- Контрольное поле фиксированной длины: 210404|| aca||aabn | a|a d
040 ## - Источник каталогизации
- Служба первичной каталогизации: RU-ToGU
- Служба перезаписи или преобразования: RU-ToGU
100 ## - Заголовок – имя лица
- Имя лица: Maibaum, Tom
670 ## - Источник, в котором найдены данные
- Ссылка на источник: Work cat.: (RU-ToGU): Cuellar, Jorge. 327735, FM 2008: Formal Methods, 2008.