Erweiterte Suche

Grid  List

  1. Languages: From Formal to Natural Languages: From Formal to Natural

    Languages: From Formal to Natural

    Orna Grumberg
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This Festschrift volume, published in honor of Nissim Francez on the occasion of his 65th birthda...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 99,99 €

    Jetzt 53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Computer Aided Verification Computer Aided Verification

    Computer Aided Verification

    Orna Grumberg
    Springer Berlin Heidelberg
    04.06.1997

    This book constitutes the strictly refereed proceedings of the 9th International Conference on Co...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. 25 Years of Model Checking 25 Years of Model Checking

    25 Years of Model Checking

    Helmut Veith
    Springer Berlin Heidelberg
    17.06.2008

    Model checking technology is among the foremost applications of logic to computer science and com...

    Taschenbuch
    37,44 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Model Checking Model Checking

    Model Checking

    Daniel Kroening
    MIT Press Ltd
    04.12.2018

    An expanded and updated edition of a comprehensive presentation of the theory and practice of mod...

    Gebunden
    90,00 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Orna Grumberg
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This book constitutes the refereed proceedings of the 13th International Conference on Tools and ...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 139,09 €

    Jetzt 106,99 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1