عنوان
پدید آورنده
موضوع
رده
QA 76.9 .F67
QA
76
.
9
.
F67
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal methods for distributed system development :October 10-13, 2000, Pisa, Italy
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Boston
Name of Publisher, Distributor, etc.
Kluwer academic
Date of Publication, Distribution, etc.
2000
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiv, 408 p. : illus, tables
SERIES
Other Title Information
IFIP ; 55
GENERAL NOTES
Text of Note
Includes bibliographical references
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
FORTE/PSTV 0002, 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
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
Congresses ، Electronic data processing- Distributed processing
Entry Element
Congresses ، Formal methods )Computer science(
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
9
.
F67
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
AU Bolognesi, Tommaso
AU Latella, Diego
TI
SE International Federation for Information Processing )Series( ;
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Entry Element
IFIP TC6 WG6.1 Joint international conference on formal description techniques for distributed systems and communication protocols and protocol specification, testing and verification)2000 :Pisa, Italy(
