Marcel Vinícius Medeiros Oliveira & James Woodcock 
Formal Methods: Foundations and Applications [PDF ebook] 
12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

الدعم

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...

قراءة المزيد
€79.72
طرق الدفع

قائمة المحتويات

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

المزيد من الكتب الإلكترونية من نفس المؤلف (المؤلفين) / محرر

16٬615 كتب إلكترونية في هذه الفئة