Tags
Language
Tags
<<
November 2025
Su Mo Tu We Th Fr Sa
26 27 28 29 30 31 1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30 1 2 3 4 5 6
    Attention❗ To save your time, in order to download anything on this site, you must be registered 👉 HERE. If you do not have a registration yet, it is better to do it right away. ✌

    ( • )( • ) ( ͡⚆ ͜ʖ ͡⚆ ) (‿ˠ‿)
    SpicyMags.xyz
    1. Home
    2. eBooks & eLearning
    3. Formal Methods for Quantitative Aspects of Programming Languages

    Formal Methods for Quantitative Aspects of Programming Languages

    Posted By: step778
    Date: 19 Nov 2018 12:06:03
    Formal Methods for Quantitative Aspects of Programming Languages

    Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, "Formal Methods for Quantitative Aspects of Programming Languages"
    2010 | pages: 175 | ISBN: 364213677X | PDF | 2,7 mb

    The International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM) addresses the use of formal methods in computer science as a prominent approach to the rigorous design of the said systems. The main aim of the SFM series is to present a wide spectrum of current research on the foundations and the applications of formal methods, addressing graduate students and young researchers approaching the field.
    The focus of SFM 2010, held in Bertinoro, Italy, in June 2010, was on formal methods for quantitative aspects of programming languages. This book presents 4 comprehensive papers accompanying the lectures given by leading researchers at SFM 2010. The topics covered include probabilistic and timed models, model checking, static analysis, quantum computing, real-time and embedded systems, and security.

    My Link
    UPWARDS