Formal Methods: Applications and Technology : 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected /

সংরক্ষণ করুন:
গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Lubo. Brim, Boudewijn Haverkort, Martin Leucker, Jaco Pol (edición)
বিন্যাস: গ্রন্থ
ভাষা:ইংরেজি
প্রকাশিত: Berlín, Alemania : Springer, 2007, c2007
মালা:(Lecture Notes in Computer Science)
অনলাইন ব্যবহার করুন:Ver documento en línea
ট্যাগগুলো: ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
বিবরন
দৈহিক বর্ননা:1 libro electrónico en línea (X, 366 p.)
1 recurso en línea
আইসবিএন:978-3-540-70952-7
আইএসএসএন:1611-3349
প্রবেশাধিকার:Licencias ilimitadas