Grid  List

  1. 01.08.2014

    This book constitutes the proceedings of the 5th International Conference on Interactive Theorem ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. 08.01.2019

    An introduction to applying predicate logic to testing and verification of software and digital c...

    Gebunden
    61,50 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1