This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 — co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing. The 20 revised full papers presented together with 3 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are devoted to the dissemination o...
قائمة المحتويات
Speeding Up Simulation of System C Using Model Checking.- Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering.- S...
قم بشراء هذا الكتاب الإلكتروني واحصل على كتاب آخر مجانًا!
لغة الإنجليزية ● شكل PDF ● صفحات 351 ● ISBN 9783642104527 ● محرر Marcel Vinícius Medeiros Oliveira & James Woodcock ● الناشر Springer Berlin ● مدينة Heidelberg ● بلد DE ● نشرت 2009 ● للتحميل 24 الشهور ● دقة EUR ● هوية شخصية 2171421 ● حماية النسخ Adobe DRM
يتطلب قارئ الكتاب الاليكتروني قادرة DRM