| Tag |
First Indicator |
Second Indicator |
Subfields |
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
in00000014458 |
| 005 |
20191002130710.0 |
| 008 |
861121s1987 enka b 001 0 eng |
| 010 |
|
|
|a 86028900
|
| 035 |
|
|
|a (OCoLC)ocm15084156
|
| 035 |
|
|
|a (OCoLC)15084156
|
| 035 |
|
|
|9 AAA6827AM
|
| 040 |
|
|
|a DLC
|b eng
|c DLC
|d UKM
|d UBA
|d MUQ
|d BAKER
|d NLGGC
|d BTCTA
|d YDXCP
|d OCLCG
|d DEBBG
|d BDX
|d GBVCP
|d OCLCO
|d OCLCF
|d OCLCQ
|d LTU
|d OCLCQ
|d CSJ
|d OCLCO
|d OCLCQ
|d CEF
|d TKN
|d HCO
|d FQG
|d OCLCQ
|d CNO
|d NAM
|d EUM
|d OL$
|d BUB
|d NJR
|d INT
|d AU@
|d UAB
|d WYU
|d UWO
|d UKUOY
|d OCLCQ
|d WURST
|d UWK
|d UKBTH
|d S2H
|
| 015 |
|
|
|a GB8707776
|2 bnb
|
| 019 |
|
|
|a 15221251
|a 59194175
|
| 020 |
|
|
|a 0201142260
|
| 020 |
|
|
|a 9780201142266
|
| 029 |
1 |
|
|a AU@
|b 000005016250
|
| 029 |
1 |
|
|a AU@
|b 000005224391
|
| 029 |
1 |
|
|a AU@
|b 000023917294
|
| 029 |
1 |
|
|a DEBBG
|b BV002130063
|
| 029 |
1 |
|
|a DEBBG
|b BV021879102
|
| 029 |
1 |
|
|a DEBSZ
|b 014253593
|
| 029 |
1 |
|
|a GBVCP
|b 025155059
|
| 029 |
1 |
|
|a HEBIS
|b 010286551
|
| 029 |
1 |
|
|a NLGGC
|b 036288292
|
| 029 |
1 |
|
|a NZ1
|b 3230973
|
| 029 |
1 |
|
|a UNITY
|b 009608540
|
| 029 |
1 |
|
|a YDXCP
|b 120844
|
| 035 |
|
|
|a (OCoLC)15084156
|z (OCoLC)15221251
|z (OCoLC)59194175
|
| 049 |
|
|
|a TXAM
|c [A11486313]
|
| 050 |
0 |
0 |
|a QA76.76.D47
|b T87 1987
|
| 080 |
0 |
|
|a 518.58
|
| 082 |
0 |
0 |
|a 005.1
|2 19
|
| 083 |
0 |
|
|a Computer systems. Programs. Design
|
| 084 |
|
|
|a 54.20
|2 bcl
|
| 084 |
|
|
|a 54.50
|2 bcl
|
| 084 |
|
|
|a 54.51
|2 bcl
|
| 084 |
|
|
|a ST 130
|2 rvk
|
| 084 |
|
|
|a ST 230
|2 rvk
|
| 084 |
|
|
|a DAT 335f
|2 stub
|
| 049 |
|
|
|a TXAM
|
| 100 |
1 |
|
|a Turski, Władysław.
|
| 245 |
1 |
4 |
|a The specification of computer programs /
|c Władysław M. Turski, Thomas S.E. Maibaum.
|
| 260 |
|
|
|a Wokingham, England ;
|a Reading, Mass. :
|b Addison-Wesley,
|c ©1987.
|
| 300 |
|
|
|a x, 278 pages :
|b illustrations ;
|c 25 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|
| 490 |
1 |
|
|a International computer science series
|
| 504 |
|
|
|a Includes bibliographical references (pages 272-274) and index.
|
| 505 |
0 |
|
|a Software engineering preliminaries -- Mathematical preliminaries -- Relationships between specifications and programs -- Program design and implementation -- Appendix. Linguistic systems -- Valuation systems -- First-order predicate calculus-PC -- Modal and programming logics -- Many-sorted theories -- Interpretation between theories.
|
| 650 |
|
0 |
|a Computer software
|x Development.
|
| 650 |
|
0 |
|a Computer programming.
|
| 650 |
|
1 |
|a Computer software
|x Development.
|
| 650 |
|
6 |
|a Logiciels
|x Développement.
|
| 650 |
|
6 |
|a Programmation (Informatique)
|
| 650 |
|
7 |
|a Computer programming.
|2 fast
|0 (OCoLC)fst00872390
|
| 650 |
|
7 |
|a Computer software
|x Development.
|2 fast
|0 (OCoLC)fst00872537
|
| 650 |
|
7 |
|a Softwarespezifikation
|2 gnd
|0 (DE-588)4056186-0
|
| 650 |
|
7 |
|a Programacao De Computadores.
|2 larpcal
|
| 650 |
|
7 |
|a Linguagens De Programacao (Computadores)
|2 larpcal
|
| 653 |
|
|
|a Computer systems
|a Programs
|a Design
|
| 653 |
0 |
0 |
|a toepassingen
|
| 653 |
0 |
0 |
|a applications
|
| 653 |
0 |
0 |
|a computer software
|
| 653 |
0 |
0 |
|a programmeren
|
| 653 |
0 |
0 |
|a programming
|
| 653 |
0 |
0 |
|a software-ontwikkeling
|
| 653 |
0 |
0 |
|a software engineering
|
| 653 |
1 |
0 |
|a Programming, Programming Languages
|
| 653 |
1 |
0 |
|a Programmeren, programmeertalen
|
| 700 |
1 |
|
|a Maibaum, Thomas S. E.,
|d 1947-
|
| 776 |
0 |
8 |
|i Online version:
|a Turski, Władysław.
|t Specification of computer programs.
|d Wokingham, England ; Reading, Mass. : Addison-Wesley, ©1987
|w (OCoLC)573547492
|
| 830 |
|
0 |
|a International computer science series.
|
| 938 |
|
|
|a Baker & Taylor
|b BKTY
|c 27.00
|d 27.00
|i 0201142260
|n 0001219328
|s active
|
| 938 |
|
|
|a Brodart
|b BROD
|n 38333430
|c $19.01
|
| 938 |
|
|
|a Baker and Taylor
|b BTCP
|n 86028900 //r88
|c £17.95
|
| 938 |
|
|
|a YBP Library Services
|b YANK
|n 120844
|
| 994 |
|
|
|a C0
|b TXA
|
| 999 |
f |
f |
|s 25ae2655-7ea0-3fe9-9e15-c20d260caf51
|i cdd8ed12-94f7-3614-b108-cb595da69730
|t 0
|
| 952 |
f |
f |
|p ric
|a Texas A&M University
|b Rellis Campus
|c Joint Library Facility
|d Remote Storage
|t 0
|e QA76.76.D47 T87 1987
|h Library of Congress classification
|i unmediated -- volume
|m A14811486313
|
| 998 |
f |
f |
|a QA76.76.D47 T87 1987
|t 0
|l Remote Storage
|