Grid   List

  1. Taschenbuch
    BOD - 2 Tage

    Invited Papers.- Well-Founded and Partial Stable Semantics Logical Aspects.- The Reachability Pro...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Taschenbuch
    BOD - 2 Tage

    This volume constitutes the thoroughly refereed post-conference proceedings of the 5th Internatio...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Taschenbuch
    BOD - 2 Tage

    Andreas Podelski is one of the leading researchers in formal verification and software engineerin...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1