Normal view
MARC view
- Sun, Jing
Entry Имя лица
001 - Контрольный номер
- Контрольный номер: 415445
003 - Идентификатор контрольного номера
- Контрольное поле: RU-ToGU
005 - Дата и время последней транзакции
- Контрольное поле: 20210404195038.0
008 - Элементы данных фиксированной длины
- Контрольное поле фиксированной длины: 210404|| aca||aabn | a|a d
040 ## - Источник каталогизации
- Служба первичной каталогизации: RU-ToGU
- Служба перезаписи или преобразования: RU-ToGU
100 ## - Заголовок – имя лица
- Имя лица: Sun, Jing
670 ## - Источник, в котором найдены данные
- Ссылка на источник: Work cat.: (RU-ToGU): Groves, Lindsay. editor. 415443, Formal Methods and Software Engineering, 2013.