Matches in Library of Congress for { <http://lccn.loc.gov/00061057> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 00061057 contributor B55865.
- 00061057 contributor B55866.
- 00061057 created "2000.".
- 00061057 date "2000".
- 00061057 date "2000.".
- 00061057 dateCopyrighted "2000.".
- 00061057 description "Includes bibliographical references.".
- 00061057 extent "xiv, 408 p. :".
- 00061057 identifier "0792379683 (alk. paper)".
- 00061057 identifier 00061057-d.html.
- 00061057 identifier 00061057-t.html.
- 00061057 isPartOf "IFIP ; 55".
- 00061057 isPartOf "International Federation for Information Processing (Series) ; 55.".
- 00061057 issued "2000".
- 00061057 issued "2000.".
- 00061057 language "eng".
- 00061057 publisher "Boston, MA : Kluwer Academic Publishers,".
- 00061057 subject "004/.36 21".
- 00061057 subject "Electronic data processing Distributed processing Congresses.".
- 00061057 subject "Formal methods (Computer science) Congresses.".
- 00061057 subject "QA76.9.D5 I33845 2000".
- 00061057 title "Formal methods for distributed system development : October 10-13, 2000, Pisa, Italy / FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification ; edited by Tommaso Bolognesi, Diego Latella.".
- 00061057 type "text".