| Tag |
First Indicator |
Second Indicator |
Subfields |
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
in00001173721 |
| 005 |
20151001084405.0 |
| 008 |
930817s1993 gw a b 100 0 eng |
| 010 |
|
|
|a 93034001
|
| 015 |
|
|
|a GB94-2406
|
| 019 |
|
|
|a 29667882
|
| 020 |
|
|
|a 354056943X (Berlin)
|
| 020 |
|
|
|a 038756943X (New York)
|
| 035 |
|
|
|a (OCoLC)28722500
|
| 035 |
|
|
|9 AGF7857AM
|
| 040 |
|
|
|a DLC
|c DLC
|d UKM
|d TXA
|d UtOrBLW
|
| 049 |
|
|
|a TXAM
|
| 050 |
0 |
0 |
|a QA76.9.S88
|b P765 1993
|
| 082 |
0 |
0 |
|a 004.2/1
|2 20
|
| 245 |
0 |
0 |
|a Program design calculi /
|c edited by Manfred Broy.
|
| 264 |
|
1 |
|a Berlin ;
|a New York :
|b Springer,
|c [1993]
|
| 264 |
|
4 |
|c ©1993
|
| 300 |
|
|
|a viii, 409 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 NATO ASI series. Series F, Computer and systems sciences ;
|v vol. 118
|
| 500 |
|
|
|a "Proceedings of the NATO Advanced Study Institute on Program Design Calculi, held in Marktoberdorf, Germany, July 28-August 9, 1992"--Title page verso.
|
| 500 |
|
|
|a "Published in cooperation with NATO Scientific Affairs Division."
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 650 |
|
0 |
|a System design
|v Congresses.
|
| 653 |
0 |
|
|a Computers
|a Design
|
| 700 |
1 |
|
|a Broy, M.,
|d 1949-
|
| 711 |
2 |
|
|a NATO Advanced Study Institute on Program Design Calculi
|d (1992 :
|c Marktoberdorf, Germany)
|
| 710 |
2 |
|
|a North Atlantic Treaty Organization.
|b Scientific Affairs Division.
|
| 830 |
|
0 |
|a NATO ASI series.
|n Series F,
|p Computer and systems sciences ;
|v no. 118.
|
| 999 |
|
|
|a MARS
|
| 999 |
f |
f |
|s 3e20090b-235d-3710-a030-b99be5e3fbe6
|i 2f0b6f28-e68d-37c3-89d8-71dc6dad8030
|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.9.S88 P765 1993
|h Library of Congress classification
|i unmediated -- volume
|m A14818153092
|
| 998 |
f |
f |
|a QA76.9.S88 P765 1993
|t 0
|l Remote Storage
|