Formal Methods – The Next 30 Years

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

  1. eb2025

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

    Tham gia:
    20/5/2024
    Bài viết:
    6,001
    Đã được thích:
    0
    Điểm thành tích:
    86
    Click Here to Download: https://ouo.io/BhIxEhW
    [​IMG]
    Formal Methods – The Next 30 Years
    Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
    By: Maurice H. ter Beek
    Publisher:
    Springer
    Print ISBN: 9783030309411, 303030941X
    eText ISBN: 9783030309428, 3030309428
    Copyright year: 2019
    Format: EPUB
    Available from $ 109.00 USD
    SKU 9783030309428
    This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling Languages; Learning-Based Techniques and Applications; Refactoring and Reprogramming; I-Day Presentations.
     

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


Chia sẻ trang này