|
|
|
|
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
SCIDIR_ocn645859496 |
| 003 |
OCoLC |
| 005 |
20231117033207.0 |
| 006 |
m o d |
| 007 |
cr bn||||||abp |
| 007 |
cr bn||||||ada |
| 008 |
100702s1992 ne a ob 101 0 eng d |
| 040 |
|
|
|a OCLCE
|b eng
|e pn
|c OCLCE
|d OCLCQ
|d UIU
|d OCLCF
|d OCLCO
|d N$T
|d YDXCP
|d OCL
|d OCLCO
|d OCLCQ
|d OCLCO
|d UAB
|d LUN
|d OCLCQ
|d OCLCO
|d COM
|d OCLCO
|d OCLCQ
|
| 019 |
|
|
|a 300751852
|a 974619575
|a 1153479541
|
| 020 |
|
|
|a 9781483293332
|q (electronic bk.)
|
| 020 |
|
|
|a 1483293335
|q (electronic bk.)
|
| 020 |
|
|
|z 0444894020
|
| 020 |
|
|
|z 9780444894021
|
| 035 |
|
|
|a (OCoLC)645859496
|z (OCoLC)300751852
|z (OCoLC)974619575
|z (OCoLC)1153479541
|
| 042 |
|
|
|a dlr
|
| 050 |
|
4 |
|a QA76.6
|b .I185 1991
|
| 072 |
|
7 |
|a COM
|x 051010
|2 bisacsh
|
| 082 |
0 |
4 |
|a 005.13/1
|2 23
|
| 084 |
|
|
|a 54.10
|2 bcl
|
| 084 |
|
|
|a DAT 252f
|2 stub
|
| 111 |
2 |
|
|a IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols
|n (4th :
|d 1991 :
|c Sydney, N.S.W.)
|
| 245 |
1 |
0 |
|a Formal description techniques, IV :
|b proceedings of the IFIP TC6/WG 6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991 /
|c edited by K.R. Parker, G.A. Rose.
|
| 246 |
3 |
|
|a Formal description techniques, 4.
|
| 246 |
3 |
|
|a Formal description techniques, four
|
| 260 |
|
|
|a Amsterdam ;
|a New York :
|b North-Holland ;
|a New York :
|b Distributors for the U.S. and Canada, Elsevier Science Pub.,
|c 1992.
|
| 300 |
|
|
|a 1 online resource (xv, 574 pages) :
|b illustrations
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a IFIP transactions. C, Communication systems,
|x 0926-549X ;
|v C-2
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 588 |
0 |
|
|a Print version record.
|
| 506 |
|
|
|3 Use copy
|f Restrictions unspecified
|2 star
|5 MiAaHDL
|
| 533 |
|
|
|a Electronic reproduction.
|b [Place of publication not identified] :
|c HathiTrust Digital Library,
|d 2010.
|5 MiAaHDL
|
| 538 |
|
|
|a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
|u http://purl.oclc.org/DLF/benchrepro0212
|5 MiAaHDL
|
| 583 |
1 |
|
|a digitized
|c 2010
|h HathiTrust Digital Library
|l committed to preserve
|2 pda
|5 MiAaHDL
|
| 650 |
|
0 |
|a Computer programming
|v Congresses.
|
| 650 |
|
0 |
|a Formal languages
|v Congresses.
|
| 650 |
|
6 |
|a Programmation (Informatique)
|0 (CaQQLa)201-0002014
|v Congr�es.
|0 (CaQQLa)201-0378219
|
| 650 |
|
6 |
|a Langages formels
|0 (CaQQLa)201-0025413
|v Congr�es.
|0 (CaQQLa)201-0378219
|
| 650 |
|
7 |
|a COMPUTERS
|x Programming Languages
|x General.
|2 bisacsh
|
| 650 |
|
7 |
|a Computer programming.
|2 fast
|0 (OCoLC)fst00872390
|
| 650 |
|
7 |
|a Formal languages.
|2 fast
|0 (OCoLC)fst00932922
|
| 650 |
1 |
7 |
|a Fundamentele informatica.
|2 gtt
|
| 655 |
|
2 |
|a Congress
|0 (DNLM)D016423
|
| 655 |
|
7 |
|a Conference papers and proceedings.
|2 fast
|0 (OCoLC)fst01423772
|
| 655 |
|
7 |
|a Conference papers and proceedings.
|2 lcgft
|
| 655 |
|
7 |
|a Actes de congr�es.
|2 rvmgf
|0 (CaQQLa)RVMGF-000001049
|
| 700 |
1 |
|
|a Parker, K. R.
|q (Ken R.)
|
| 700 |
1 |
|
|a Rose, G. A.
|q (Gordon A.)
|
| 776 |
0 |
8 |
|i Print version:
|w (DLC) 92244737
|w (OCoLC)26116849
|
| 830 |
|
0 |
|a IFIP transactions.
|n C,
|p Communication systems ;
|v C-2.
|x 0926-549X
|
| 856 |
4 |
0 |
|u https://sciencedirect.uam.elogim.com/science/book/9780444894021
|z Texto completo
|
