Metadata record

这是元数据记录，而非可下载的文件。你可以使用这个链接来请求文件。 若你拥有的文件未被安娜的档案收录，请考虑上传文件。

反馈文件质量
Formal Methods: Foundations and Applications 🔍
Jim Davies Springer Berlin
元数据 · 英语 [en] · 📘 非小说类图书 · kulturpass · kulturpass
描述
This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, in November 2010. The 18 revised full papers were carefully reviewed and selected from 55 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.
Erscheinungsdatum: 23.03.2011
开源日期
2024-12-29
更多信息……
  • 未找到下载。