Towards verification of Java programs in VerICS / (Rekord nr 40722)

Szczegóły MARC
000 -ETYKIETA REKORDU
pole stałej długości 01387cam a2200361 i 4500
001 - NUMER KONTROLNY REKORDU
control field zz2007890384
003 - IDENTYFIKATOR NUMERU KONTROLNEGO
control field NUKAT
005 - DATA OSTATNIEJ MODYFIKACJI REKORDU
control field 20251228144017.0
008 - DANE KONTROLNE (POLA STAŁEJ DŁUGOŚCI)
pole stałej długości 071024s2006 pl a |000 0 eng c
035 ## - NUMER SYSTEMOWY REKORDU
Numer systemowy (OCoLC)749887767
040 ## - INSTYTUCJA SPORZĄDZAJĄCA REKORD
Instytucja, która sporządziła opis SZCZ M/KB
Instytucja, która wprowadziła rekord SZCZ M/KB
Instytucja, która zmodyfikowała rekord KR U/EPl
-- KR U/BMigs
041 0# - JĘZYK DOKUMENTU
Język tekstu eng
Język streszczeń pol
100 1# - HASŁO GŁÓWNE - NAZWA OSOBOWA
Nazwa osobowa Orzechowski, Maciej.
9 (RLIN) 59503
245 10 - STREFA TYTUŁU I OZNACZENIA ODPOWIEDZIALNOŚCI
Tytuł Towards verification of Java programs in VerICS /
Pozostałe elementy strefy tytułu i oznaczenia odpowiedzialności Maciej Orzechowski, Bożena Woźna and Tomasz Siwiak.
260 ## - STREFA ADRESU WYDAWNICZEGO
Miejsce wydania Warszawa :
Nazwa wydawcy Instytut Podstaw Informatyki Polskiej Akademii Nauk,
Data wydania 2006.
300 ## - STREFA OPISU FIZYCZNEGO
Określenie formy dokumentu i/lub objętość 33, [1] s. :
Oznaczenie ilustracji il. ;
Format 21 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 Prace IPI PAN =
-- ICS PAS Reports,
Międzynarodowy Znormalizowany Numer Wydawnictwa Ciągłego 0138-0648 ;
Numeracja nr 997
500 ## - UWAGA OGÓLNA
Uwaga ogólna Praca wydana w czasopiśmie: Prace IPI PAN / Instytut Podstaw Informatyki Polskiej Akademii Nauk ; nr 997.
504 ## - UWAGA DOTYCZĄCA BIBLIOGRAFII ZAŁĄCZNIKOWEJ
Uwaga dotycząca bibliografii Bibliogr. s. 30-33.
506 ## - UWAGA DOTYCZĄCA OGRANICZEŃ W ROZPOWSZECHNIANIU
Uwaga dotycząca ograniczeń w rozpowszechnianiu Na prawach rękopisu.
546 ## - UWAGA DOTYCZĄCA JĘZYKA
Uwaga dotycząca języka Streszcz. pol.
650 #7 - HASŁO PRZEDMIOTOWE - NAZWA POSPOLITA
Nazwa pospolita Java (język programowania).
Źródło terminu kaba
9 (RLIN) 193087
650 #7 - HASŁO PRZEDMIOTOWE - NAZWA POSPOLITA
Nazwa pospolita Przetwarzanie rozproszone.
Źródło terminu kaba
9 (RLIN) 18413
650 #7 - HASŁO PRZEDMIOTOWE - NAZWA POSPOLITA
Nazwa pospolita Teoria automatów.
Źródło terminu kaba
9 (RLIN) 4176
700 1# - HASŁO DODATKOWE - NAZWA OSOBOWA
Nazwa osobowa Woźna-Szcześniak, Bożena.
9 (RLIN) 28249
700 1# - HASŁO DODATKOWE - NAZWA OSOBOWA
Nazwa osobowa Siwiak, Tomasz.
9 (RLIN) 59504
830 #0 - HASŁO DODATKOWE SERII
Tytuł Prace IPI PAN
Międzynarodowy Znormalizowany Numer Wydawnictwa Ciągłego 0138-0648
Numeracja 997
9 (RLIN) 64274
Egzemplarze
Status wycofania Status zagubienia Klasyfikacja Status uszkodzenia Blokada wypożyczeń Kolekcja Biblioteka macierzysta Bieżąca biblioteka Pozycja na półce Data nabycia Cena Ogółem wypożyczeń Sygnatura Kod kreskowy Ostatnio widziano Cena zast. od dnia Typ egz.
    Library of Congress Classification     czytelnia czasopism Biblioteka Politechniki Poznańskiej Biblioteka Politechniki Poznańskiej w czytelni 01/02/2008 0.00   Cz 3163 czp3163bc 28/12/2025 28/12/2025 Niewypożyczane