Szczegóły MARC21
Modeling in Event-B : system and software engineering /
-
- @
- Nazwa instytucji, której n kontrolny jest w polu 001
- NUKAT
-
- @
- pole kontrolne
- 20241231091851.0
-
- a
- Numer ISBN
- 9780521895569
-
- q
- Dopowiedzenie
- Hardback
-
- a
- Instytucja, która sporządziła opis (NP)
- SZCZ U/KP
-
- c
- Instytucja, która sporządziła rekord (NP)
- SZCZ U/KP
-
- d
- Instytucja, która zmodyfikowała rekord (P)
- SZCZ U/AP
-
- d
- Instytucja, która zmodyfikowała rekord (P)
- SZCZ U/JS
-
- c
- Rodzaj dokumentu
- Książka
-
- a
- Nazwa osobowa (NP)
- Abrial, Jean-Raymond.
-
- 9
- KHW
- 93384
-
- a
- Tytuł
- Modeling in Event-B :
-
- b
- Ciąg dalszy tytułu (NP)
- system and software engineering /
-
- c
- Pozostałe elementy strefy tytułu i oznaczenia odpowiedzialności (NP)
- Jean-Raymond Abrial.
-
- a
- Miejsce wydania (P)
- Cambridge [etc.] :
-
- b
- Nazwa wydawcy (P)
- Cambridge University Press,
-
- c
- Data wydania (P)
- 2010.
-
- a
- Określenie formy książki i/lub objętość (NP)
- XXVI, 586 s. :
-
- b
- Oznaczenie ilustracji (NP)
- il. ;
-
- c
- Format (NP)
- 25 cm.
-
- a
- Termin opisujący typ zawartości
- Tekst
-
- b
- Kod określający zawartość
- txt
-
- 2
- Źródło (terminu i kodu)
- rdacontent
-
- a
- Tryb odtwarzania
- Bez urządzenia pośredniczącego
-
- b
- Kod typu mediów
- n
-
- 2
- Źródło (terminu i kodu)
- rdamedia
-
- a
- Hasło opisujące typ nośnika
- Wolumin
-
- b
- Kod typu nośnika
- nc
-
- 2
- Źródło (terminu i kodu)
- rdacarrier
-
- a
- Uwaga dot. bibliografii załącznikowej
- Bibliogr. przy rozdz. Indeks.
-
- 2
- Identyfikator wydania tablic
- UDC-P058
-
- 9
- UKD
- 2085
-
- a
- Symbol klasyfikacji
- 004.414.23
-
- b
- Dopowiedzenie
- Modelowanie i symulacja systemu.
-
- 4
- UKD2
- 7644
-
- x
- Poddział wspólny
- =111
-
- c
- Dopowiedzenie poddz. wspólnego
- =Język angielski.
-
- 4
- UKD2
- 7665
-
- x
- Poddział wspólny
- (075.8)
-
- c
- Dopowiedzenie poddz. wspólnego
- (Podręczniki dla szkół wyższych. Skrypty).
-
- 2
- Identyfikator wydania tablic
- UDC-P058
-
- 9
- UKD
- 4015
-
- a
- Symbol klasyfikacji
- 51-7
-
- b
- Dopowiedzenie
- Badania i metody matematyczne w innych dziedzinach nauki.
-
- 4
- UKD2
- 7644
-
- x
- Poddział wspólny
- =111
-
- c
- Dopowiedzenie poddz. wspólnego
- =Język angielski.
-
- 4
- UKD2
- 7665
-
- x
- Poddział wspólny
- (075.8)
-
- c
- Dopowiedzenie poddz. wspólnego
- (Podręczniki dla szkół wyższych. Skrypty).
-
- a
- UKD
- 51-7:004.414.23](075.8)=111
-
- a
- Nazwa ciała zbiorowego lub nazwa geograficzna jako pierwszy element (NP)
- Cambridge University Press.
-
- 4
- Kod relacji
- pbl
-
- 9
- KHW
- 615085
-
- a
- ISBN
- 978-0-521-89556-9
-
- q
- Dopowiedzenie
- Hardback
| 003 -Nazwa inst., której nr kontr. jest w polu 001 [,] |
|
|---|---|
| 005 -DATA I CZAS OSTATNIEJ MODYFIKACJI [,] |
|
| 020 -Międzynarod. znormalizowany nr książki - ISBN [ , ] |
|
| 040 -Instytucja sporządzająca opis [ , ] |
|
| 942 -Rodzaj dokumentu [ , ] |
|
| 100 -Hasło główne - nazwa osobowa [1, ] |
|
| 245 -Strefa tytułu i oznaczenia odpowiedzialności [1,0] |
|
| 260 -Strefa adresu wydawniczego [ , ] |
|
| 300 -Strefa opisu fizycznego [ , ] |
|
| 336 -Typ zawartości [ , ] |
|
| 337 -Typ mediów [ , ] |
|
| 338 -Typ/rodzaj nośnika [ , ] |
|
| 504 -Uwaga dot. bibliogr. załącznikowej [ , ] |
|
| 080 -Uniwersalna Klasyfikacja Dziesiętna [ , ] |
|
| 080 -Uniwersalna Klasyfikacja Dziesiętna [ , ] |
|
| 980 -Symbol UKD [ , ] |
|
| 710 -Hasło dodatkowe - nazwa ciała zbiorowego [2, ] |
|
| 920 -ISBN [ , ] |
|
| Data inwentaryzacji | Lokalizacja | Status udost. | Numer inwentarzowy | Sygnatura |
|---|---|---|---|---|
| 2014-05-05 | T | -2 | T.16670 | T.16670 |