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

Formal Methods: Foundations and Applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers /

সংরক্ষণ করুন:
প্রধান লেখক: Marcel Vinícius Medeiros Oliveira, Jim Woodcock (edición)
বিন্যাস: গ্রন্থ
ভাষা:ইংরেজি
প্রকাশিত: Berlín, Alemania : Springer, 2009, c2009
মালা:(Lecture Notes in Computer Science)
অনলাইন ব্যবহার করুন:Ver documento en línea
ট্যাগগুলো: ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
প্রথমজন হিসাবে মন্তব্য করুন!
আপনি আগে লগইন করুন

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