Formal techniques for networked and distributed systems - FORTE 2002 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings /

• 作者：Doron A. Peled, Moshe Y. Vardi (eds.).
• 出版者：Springer
• 出版地：Berlin ; New York :
• 語文：英語
• 叢書名：Lecture notes in computer science,
• 電子資源：http://dx.doi.org/10.1007/3-540-36135-9
• ISBN/ISSN/ISRC：9783540001416 (paper)
• 作者：Peled, Doron.;Vardi, Moshe Y.
• 索書號：004.0151