Theory of program structures : (Rekord nr 86904)

Szczegóły MARC
000 -LEADER
fixed length control field 01393cam a2200373 i 4500
001 - CONTROL NUMBER
control field zz2003941656
003 - CONTROL NUMBER IDENTIFIER
control field NUKAT
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20251228181636.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 030204s1975 gw a f f |001 0 eng c
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540074155
Qualifying information Berlin
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0387074155
Qualifying information New York
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)1413039082
040 ## - CATALOGING SOURCE
Original cataloging agency TOR U/MIEME
Transcribing agency TOR U/MIEME
Modifying agency TOR U/AP
-- WA 72/OMK
-- TOR U/WS
-- KR 93/BJs
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Greibach, Sheila A.
Dates associated with a name (1939- ).
9 (RLIN) 114544
245 10 - TITLE STATEMENT
Title Theory of program structures :
Remainder of title schemes, semantics, verification /
Statement of responsibility, etc. Sheila A. Greibach.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Berlin [etc.] :
Name of publisher, distributor, etc. Springer-Verlag,
Date of publication, distribution, etc. 1975.
300 ## - PHYSICAL DESCRIPTION
Extent 379 s. (pag. varia) :
Other physical details il. ;
Dimensions 25 cm.
490 1# - SERIES STATEMENT
Series statement Lecture Notes in Computer Science ;
Volume/sequential designation 36
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Bibliogr. s. B-1-B-4.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Indeks.
530 ## - ADDITIONAL PHYSICAL FORM AVAILABLE NOTE
Additional physical form available note Dostępne również w formie elektronicznej.
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Komputery
General subdivision programowanie.
Source of heading or term kaba
9 (RLIN) 7982
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Oprogramowanie.
Source of heading or term kaba
9 (RLIN) 1526
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element Springer-Verlag (Berlin).
Relationship pbl
9 (RLIN) 97110
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture Notes in Computer Science
International Standard Serial Number 0302-9743
Volume/sequential designation 36
9 (RLIN) 24125
856 41 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://www.infona.pl/resource/isbn/9783540074151">https://www.infona.pl/resource/isbn/9783540074151</a>
Public note Licencja krajowa
920 ## - ISBN
-- Berlin
920 ## - ISBN
-- New York
Egzemplarze
Status wycofania Status zagubienia Źródło klasyfikacji 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 29/10/2014 2014 D 268 0.05 181235   A 181235 0000145393 28/12/2025 28/12/2025 Niewypożyczane