عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
3642307922
3642307930
9783642307928
9783642307935
b598171
Formal techniques for distributed systems :
[Book]
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
Holger Giese, Grigore Rosu (eds.).
Heidelberg
Springer
©2012.
(XII, 267 p.) : illustrations.
Lecture notes in computer science, 7273.
Two of the conferences at the 7th International Federated Conferences on Distributed Computing Techniques (DisCoTec).
FMOODS 2012; FORTE 2012
Distributed operating systems (Computers) -- Congresses.
Formal methods (Computer science) -- Congresses.
software engineering.
Holger Giese, Grigore Rosu (eds.).
Grigore Roșu
Holger Giese
IFIP Working Group 6.1.
International Federation for Information Processing.
مطالعه متن کتاب [Book]
Y
