عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642307922
(Number (ISBN
3642307930
(Number (ISBN
9783642307928
(Number (ISBN
9783642307935
NATIONAL BIBLIOGRAPHY NUMBER
Number
b598171
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal techniques for distributed systems :
General Material Designation
[Book]
Other Title Information
joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16 2012 : proceedings
First Statement of Responsibility
Holger Giese, Grigore Rosu (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Heidelberg
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
©2012.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(XII, 267 p.) : illustrations.
SERIES
Series Title
Lecture notes in computer science, 7273.
GENERAL NOTES
Text of Note
Two of the conferences at the 7th International Federated Conferences on Distributed Computing Techniques (DisCoTec).
PARALLEL TITLE PROPER
Parallel Title
FMOODS 2012; FORTE 2012
TOPICAL NAME USED AS SUBJECT
Distributed operating systems (Computers) -- Congresses.
Formal methods (Computer science) -- Congresses.
software engineering.
PERSONAL NAME - PRIMARY RESPONSIBILITY
Holger Giese, Grigore Rosu (eds.).
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Grigore Roșu
Holger Giese
IFIP Working Group 6.1.
International Federation for Information Processing.
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
