Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3-6 November 1998, Paris, France
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
1998
شابک
978-1-4757-5262-5
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران