Matches in Library of Congress for { <http://lccn.loc.gov/98042404> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- 98042404 contributor B8365305.
- 98042404 contributor B8365306.
- 98042404 contributor B8365307.
- 98042404 created "1998.".
- 98042404 date "1998".
- 98042404 date "1998.".
- 98042404 dateCopyrighted "1998.".
- 98042404 description "Includes bibliographical references and index.".
- 98042404 extent "viii, 467 p. :".
- 98042404 identifier "0412847604 (alk. paper)".
- 98042404 identifier 98042404-d.html.
- 98042404 identifier 98042404-t.html.
- 98042404 isPartOf "International Federation for Information Processing (Series) ; 6.".
- 98042404 isPartOf "International Federation for Information Processing ; 6".
- 98042404 issued "1998".
- 98042404 issued "1998.".
- 98042404 language "eng".
- 98042404 publisher "Boston : Kluwer Academic Publishers,".
- 98042404 subject "004/.36 21".
- 98042404 subject "Computer network protocols Congresses.".
- 98042404 subject "Electronic data processing Distributed processing Congresses.".
- 98042404 subject "Formal methods (Computer science) Congresses".
- 98042404 subject "QA76.9.D5 I33845 1998".
- 98042404 title "Formal description techniques and protocol specification, testing, and verification : FORTE XI/PSTV XVIII '98 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing, and Verification (PSTV XVIII) : 3-6 November 1998, Paris, France / edited by Stan Budkowski, Ana Cavalli, Elie Najm.".
- 98042404 type "text".