Grid   List

  1. Taschenbuch
    BOD - 2 Tage

    The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th Inter...

    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Taschenbuch
    BOD - 2 Tage

    This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors o...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Buch
    BOD - 7 Tage

    Formal methods is the term used to describe the specification and verification of software and so...

    152,50 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1