Automatic verification methods for finite state systems : (Rekord nr 65529)
| 000 -ETYKIETA REKORDU | |
|---|---|
| pole stałej długości | 01302cam a2200337 i 4500 |
| 001 - NUMER KONTROLNY REKORDU | |
| control field | xx001642895 |
| 003 - IDENTYFIKATOR NUMERU KONTROLNEGO | |
| control field | NUKAT |
| 005 - DATA OSTATNIEJ MODYFIKACJI REKORDU | |
| control field | 20251228162330.0 |
| 008 - DANE KONTROLNE (POLA STAŁEJ DŁUGOŚCI) | |
| pole stałej długości | 990209s1990 gw |100 0 eng c |
| 020 ## - MIĘDZYNARODOWY ZNORMALIZOWANY NUMER KSIĄŻKI | |
| Międzynarodowy Znormalizowany Numer Książki | 3540521488 |
| Dopowiedzenie | Berlin |
| 020 ## - MIĘDZYNARODOWY ZNORMALIZOWANY NUMER KSIĄŻKI | |
| Międzynarodowy Znormalizowany Numer Książki | 0387521488 |
| Dopowiedzenie | New York |
| 035 ## - NUMER SYSTEMOWY REKORDU | |
| Numer systemowy | (OCoLC)751020038 |
| 040 ## - INSTYTUCJA SPORZĄDZAJĄCA REKORD | |
| Instytucja, która sporządziła opis | NUKAT |
| Instytucja, która wprowadziła rekord | WA U/MK |
| Instytucja, która zmodyfikowała rekord | TOR U/WS |
| 245 00 - STREFA TYTUŁU I OZNACZENIA ODPOWIEDZIALNOŚCI | |
| Tytuł | Automatic verification methods for finite state systems : |
| Ciąg dalszy tytułu | international workshop, Grenoble, France, June 12-14, 1989 : proceedings / |
| Pozostałe elementy strefy tytułu i oznaczenia odpowiedzialności | J. Sifakis (ed.). |
| 260 ## - STREFA ADRESU WYDAWNICZEGO | |
| Miejsce wydania | Berlin : |
| Nazwa wydawcy | Springer, |
| Data wydania | 1990. |
| 300 ## - STREFA OPISU FIZYCZNEGO | |
| Określenie formy dokumentu i/lub objętość | VII, 382 s. ; |
| Format | 24 cm. |
| 336 ## - TYP ZAWARTOŚCI | |
| -- | Tekst |
| 337 ## - TYP MEDIÓW | |
| -- | Bez urządzenia pośredniczącego |
| 338 ## - TYP NOŚNIKA | |
| -- | Wolumin |
| 490 1# - STREFA SERII I DOKUMENTU WIELOCZĘŚCIOWEGO - FORMA NIE DO WYSZUKIWANIA | |
| Oznaczenie serii | Lecture Notes in Computer Science ; |
| Numeracja | 407 |
| 530 ## - UWAGA DOTYCZĄCA INNEJ DOSTĘPNEJ POSTACI FIZYCZNEJ | |
| Uwaga dotycząca innej dostępnej postaci fizycznej dokumentu | Dostępne również w formie elektronicznej. |
| 650 #7 - HASŁO PRZEDMIOTOWE - NAZWA POSPOLITA | |
| Nazwa pospolita | Protokoły sieci komputerowych |
| Określnik formy | konferencje. |
| Źródło terminu | kaba |
| 9 (RLIN) | 29609 |
| 700 1# - HASŁO DODATKOWE - NAZWA OSOBOWA | |
| Nazwa osobowa | Sifakis, Joseph |
| Daty biograficzne | (1946- ). |
| Określenie rodzaju współpracy | Red. |
| 9 (RLIN) | 86387 |
| 710 2# - HASŁO DODATKOWE - NAZWA CIAŁA ZBIOROWEGO | |
| Nazwa ciała zbiorowego lub nazwa geograficzna jako pierwszy element | Springer-Verlag (Berlin). |
| Powiązanie | |
| 9 (RLIN) | 97110 |
| 830 #0 - HASŁO DODATKOWE SERII | |
| Tytuł | Lecture Notes in Computer Science |
| Międzynarodowy Znormalizowany Numer Wydawnictwa Ciągłego | 0302-9743 |
| Numeracja | 407 |
| 9 (RLIN) | 24125 |
| 856 41 - LOKALIZACJA I SPOSÓB DOSTĘPU DO DOKUMENTU ELEKTRONICZNEGO | |
| Jednolity Identyfikator Zasobu (URI) | <a href="https://www.infona.pl/resource/isbn/9783540521488">https://www.infona.pl/resource/isbn/9783540521488</a> |
| Uwaga publiczna | Licencja krajowa |
| 920 ## - MIĘDZYNARODOWY ZNORMALIZOWANY NUMER KSIĄŻKI | |
| Międzynarodowy Znormalizowany Numer Książki | 3-540-52148-8 |
| Dopowiedzenie | Berlin |
| 920 ## - MIĘDZYNARODOWY ZNORMALIZOWANY NUMER KSIĄŻKI | |
| Międzynarodowy Znormalizowany Numer Książki | 0-387-52148-8 |
| Dopowiedzenie | New York |
| Status wycofania | Status zagubienia | Klasyfikacja | Status uszkodzenia | Blokada wypożyczeń | Kolekcja | Biblioteka macierzysta | Bieżąca biblioteka | Pozycja na półce | Data nabycia | Akcesja | Cena | Nr inwentarzowy | Ogółem wypożyczeń | Sygnatura | Kod kreskowy | Ostatnio widziano | Cena zast. od dnia | Typ egz. |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Library of Congress Classification | Czytelnia | Biblioteka Politechniki Poznańskiej | Biblioteka Politechniki Poznańskiej | w czytelni | 06/11/2014 | 2014 D 277 | 26.39 | 181334 | A 181334 | 0000145598 | 28/12/2025 | 28/12/2025 | Niewypożyczane |