Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Formal Methods for Dynamical Systems Formal Methods for Dynamical Systems

    Formal Methods for Dynamical Systems

    Marco Bernardo
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    07.06.2013

    This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the In...

    Taschenbuch
    49,22 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. From Lambda Calculus to Cybersecurity Through Program Analysis From Lambda Calculus to Cybersecurity Through Program Analysis

    From Lambda Calculus to Cybersecurity Through Program Analysis

    Alessandra Di Pierro
    Springer International Publishing, Springer Nature Switzerland
    15.02.2020

    This Festschrift is in honor of Chris Hankin, Professor at the Imperial College in London, UK, on...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Methods for Quantitative Aspects of Programming Languages Formal Methods for Quantitative Aspects of Programming Languages

    Formal Methods for Quantitative Aspects of Programming Languages

    Alessandro Aldini
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This volume presents the set of papers accompanying some of the lectures of the 10th Internationa...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 74,89 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1