反馈文件质量
lgli/Cs_Computer science/CsLn_Lecture notes/F/Formal Methods Foundations and Applications, 13 conf., SBFM 2010 (LNCS6527, Springer, 2011)(ISBN 9783642198281)(O)(299s)_CsLn_.pdf
Formal methods: foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers 🔍
Michael Leuschel, Jens Bendisposto (auth.), Jim Davies, Leila Silva, Adenilso Simao (eds.) Springer-Verlag Berlin Heidelberg, Lecture Notes in Computer Science, Lecture Notes in Computer Science 6527 : Programming and Software Engineering, 1, 2011
英语 [en] · PDF · 4.6MB · 2011 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/scihub/zlib · Save
描述
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
备用文件名
lgrsnf/Cs_Computer science/CsLn_Lecture notes/F/Formal Methods Foundations and Applications, 13 conf., SBFM 2010 (LNCS6527, Springer, 2011)(ISBN 9783642198281)(O)(299s)_CsLn_.pdf
备用文件名
nexusstc/Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers/c6cfeb1de34d4b570da0ee96aaddde60.pdf
备用文件名
scihub/10.1007/978-3-642-19829-8.pdf
备用文件名
zlib/Computers/Networking/Michael Leuschel, Jens Bendisposto (auth.), Jim Davies, Leila Silva, Adenilso Simao (eds.)/Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers_1314213.pdf
备选作者
Jim Davies; Leila Silva; Adenilso Simão; Brazilian Symposium on Formal Methods
备选作者
Jim Davies; Leila Silva; Adenilso Simao; SpringerLink (Online service)
备选作者
edited by Jim Davies, Leila Silva, Adenilso Simao
备选作者
Juliano Iyoda; Leonardo de Moura
备用出版商
Spektrum Akademischer Verlag. in Springer-Verlag GmbH
备用出版商
Steinkopff. in Springer-Verlag GmbH
备用版本
Lecture Notes in Computer Science -- 6527, Berlin, Heidelberg, Germany, 2011
备用版本
Lecture notes in computer science, 8195, Berlin, Heidelberg, 2013
备用版本
Springer Nature, Berlin, Heidelberg, 2011
备用版本
Germany, Germany
元数据中的注释
Kolxo3 -- 10
元数据中的注释
lg2756854
元数据中的注释
{"container_title":"Lecture Notes in Computer Science","edition":"1","isbns":["3642198287","3642198295","9783642198281","9783642198298"],"issns":["0302-9743","1611-3349"],"last_page":291,"publisher":"Springer","series":"Lecture Notes in Computer Science 6527 : Programming and Software Engineering"}
元数据中的注释
MiU
备用描述
Front Matter....Pages -
Directed Model Checking for B: An Evaluation and New Techniques....Pages 1-16
Midlet Navigation Graphs in JML....Pages 17-32
Runtime Verification for Generic Classes with ConGu 2....Pages 33-48
A High-Level Language for Modeling Algorithms and Their Properties....Pages 49-63
A Formal Environment Model for Multi-Agent Systems....Pages 64-79
A Modal Interface Theory with Data Constraints....Pages 80-95
Synchronizing Model and Program Refactoring....Pages 96-111
A Type-Theoretic Framework for Certified Model Transformations....Pages 112-127
Simulating Truly Concurrent CSP....Pages 128-143
Statistical Verification of Probabilistic Properties with Unbounded Until....Pages 144-160
Reasoning about Assignments in Recursive Data Structures....Pages 161-176
Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned....Pages 177-193
A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence....Pages 194-209
Formal Development of a Cardiac Pacemaker: From Specification to Code....Pages 210-225
A Decision Procedure for Bisimilarity of Generalized Regular Expressions....Pages 226-241
Normalization of Linear Horn Clauses....Pages 242-257
A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs....Pages 258-273
Automating Refinement of Circus Programs....Pages 274-290
Back Matter....Pages -
备用描述
This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 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
备用描述
Annotation This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal Methods, SBMF2010, held in Natal, Brazil, in November 2010. The 18 revised full papers were carefully reviewed and selected from55 submissions. The papers presented cover a broad range of foundationaland methodological issues in formal methods for the design and analysisof software and hardware systems as well as applications in variousdomains
开源日期
2012-12-29
更多信息……

🚀 快速下载

成为会员以支持书籍、论文等的长期保存。为了感谢您对我们的支持，您将获得高速下载权益。❤️

🐢 低速下载

由可信的合作方提供。 更多信息请参见常见问题解答。 （可能需要验证浏览器——无限次下载！）

所有选项下载的文件都相同，应该可以安全使用。即使这样，从互联网下载文件时始终要小心。例如，确保您的设备更新及时。
显示外部下载
  • 对于大文件，我们建议使用下载管理器以防止中断。
    推荐的下载管理器：JDownloader
  • 您将需要一个电子书或 PDF 阅读器来打开文件，具体取决于文件格式。
    推荐的电子书阅读器：Anna的档案在线查看器、ReadEra和Calibre
  • 使用在线工具进行格式转换。
    推荐的转换工具：CloudConvert和PrintFriendly
  • 您可以将 PDF 和 EPUB 文件发送到您的 Kindle 或 Kobo 电子阅读器。
    推荐的工具：亚马逊的“发送到 Kindle”和djazz 的“发送到 Kobo/Kindle”
  • 支持作者和图书馆
    ✍️ 如果您喜欢这个并且能够负担得起，请考虑购买原版，或直接支持作者。
    📚 如果您当地的图书馆有这本书，请考虑在那里免费借阅。