প্রচ্ছদ
কিউআর কোড

NASA Formal Methods : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings /

সংরক্ষণ করুন:
প্রধান লেখক: Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (edición)
বিন্যাস: গ্রন্থ
ভাষা:ইংরেজি
প্রকাশিত: Berlín, Alemania : Springer, 2011, c2011
মালা:(Lecture Notes in Computer Science)
অনলাইন ব্যবহার করুন:Ver documento en línea
ট্যাগগুলো: ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
প্রথমজন হিসাবে মন্তব্য করুন!
আপনি আগে লগইন করুন

অনুরূপ উপাদানগুলি