Widok standardowy
Widok MARC
Pozycja Hasło osobowe
Liczba rekordów, w których użyto hasła: 1
001 - CONTROL NUMBER
- control field: 114254
003 - CONTROL NUMBER IDENTIFIER
- control field: POZN 31
005 - DATE AND TIME OF LATEST TRANSACTION
- control field: 20251227231444.0
008 - FIXED-LENGTH DATA ELEMENTS
- fixed length control field: 140904n||a|znnaabn |a aaa |c
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
- LC control number: n 2014080566
024 7# - OTHER STANDARD IDENTIFIER
- Standard number or code: 310640410
- Source: viaf
- Real World Object URI: http://viaf.org/viaf/310640410
040 ## - CATALOGING SOURCE
- Original cataloging agency: WA U/AT
- Subject heading/thesaurus conventions: kaba
- Transcribing agency: WA U/AT
100 1# - HEADING--PERSONAL NAME
- Personal name: Męski, Artur.
372 ## - FIELD OF ACTIVITY
- Field of activity: Informatyka.
- Authority record control number or standard number: http://nukat.edu.pl/aut/s 94310118
- Source of term: kaba
670 ## - SOURCE DATA FOUND
- Source citation: Model checking temporal properties of reaction systems / Artur Męski, Wojciech Penczek, Grzegorz Rozenberg. - Warszawa, 2014.
670 ## - SOURCE DATA FOUND
- Source citation: BNPol online