This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.
€51.16
यह ईबुक खरीदें और 1 और मुफ़्त पाएं!
भाषा अंग्रेज़ी ● स्वरूप PDF ● पेज 205 ● ISBN 9783642250323 ● संपादक Adenilso Simao & Carroll Morgan ● प्रकाशक Springer Berlin ● शहर Heidelberg ● देश DE ● प्रकाशित 2011 ● डाउनलोड करने योग्य 24 महीने ● मुद्रा EUR ● आईडी 2246403 ● कॉपी सुरक्षा Adobe DRM
एक DRM सक्षम ईबुक रीडर की आवश्यकता है
एक ही लेखक से अधिक ईबुक / संपादक
16,504 इस श्रेणी में ईबुक
