Formal Techniques For Networked And Distributed Systems: Forte 2007 : 27th Ifip Wg 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007 : Proceedings Forte 2007

معرفی کتاب «Formal Techniques For Networked And Distributed Systems: Forte 2007 : 27th Ifip Wg 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007 : Proceedings Forte 2007» نوشتهٔ Susanne Graf, Sophie Quinton (auth.), John Derrick, Jüri Vain (eds.)، منتشرشده توسط نشر Springer-Verlag Berlin Heidelberg. این کتاب در فرمت pdf، زبان انگلیسی ارائه شده است.