Fm 2014: Formal Methods

Thảo luận trong 'Học tập' bởi libgeee, 23/5/2024.

  1. libgeee

    libgeee Thành viên kỳ cựu

    Tham gia:
    20/5/2024
    Bài viết:
    6,277
    Đã được thích:
    0
    Điểm thành tích:
    86
    Click Here to Download: https://ouo.io/b78kzF
    [​IMG]
    FM 2014: Formal Methods
    19th International Symposium, Singapore, May 12-16, 2014. Proceedings
    By: Cliff Jones
    Publisher:
    Springer
    Print ISBN: 9783319064093, 3319064096
    eText ISBN: 9783319064109, 331906410X
    Copyright year: 2014
    Format: PDF
    Available from $ 129.00 USD
    SKU 9783319064109
    This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.
     

    Xem thêm các chủ đề tạo bởi libgeee
    Đang tải...


Chia sẻ trang này