abstract interpretation

  • 1Static Analysis of Software. The Abstract Interpretation , Jean-Louis Boulanger
    The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal… 13970.48 руб электронная книга

  • 2Abstract Expressionism , Hess Barbara (2016)
    The ineffable language of paint Abstract expressionism the non-representational use of paint as a means of personal expression emerged in America in the 1940s, inspired by the innovative work of… 1028 руб

  • 3Abstract Expressionism , Hess Barbara (2016)
    The ineffable language of paint Abstract expressionism the non-representational use of paint as a means of personal expression emerged in America in the 1940s, inspired by the innovative work of… 1330 грн (только Украина)

  • 4Formal Methods Applied to Industrial Complex Systems. Implementation of the B Method , Jean-Louis Boulanger
    This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and… 15516.57 руб электронная книга

  • 5Imago Mundi , Diaz Sonia (2009)
    Imago Mundi aims to show the world through the unique perspective of the author, who expresses his personal perception of the world through pictograms, ideograms, logos, symbols and signs. This book… 3367 руб

  • 6Explorations of Mathematical Models in Biology with MATLAB , Mazen Shahin
    Explore and analyze the solutions of mathematical models from diverse disciplines As biology increasingly depends on data, algorithms, and models, it has become necessary to use a computing language… 9498.22 руб электронная книга

  • 7Explorations of Mathematical Models in Biology with Maple , Mazen Shahin
    Explore and analyze the solutions of mathematical models from diverse disciplines As biology increasingly depends on data, algorithms, and models, it has become necessary to use a computing language… 9188.33 руб электронная книга

  • 8Mark Rothko , Baal-Teshuva Jacob (2019)
    Resisting interpretation or classification, Mark Rothko (1903-1970) was a prominent advocate for the artist's consummate freedom of expression. Although identified as a key protagonist of the… 1643 руб