Εμφανίζονται 1 - 2 Αποτελέσματα από 2 για την αναζήτηση '"F.3.2 [Logics and Meanings of Programs]: Semantics of Programming Languages--Program analysis"', χρόνος αναζήτησης: 0,66δλ Περιορισμός αποτελεσμάτων
  1. 1
    Report

    Συγγραφείς: Brandner, Florian, Jordan, Alexander

    Συνεισφορές: Unité d'Informatique et d'Ingénierie des Systèmes (U2IS), École Nationale Supérieure de Techniques Avancées (ENSTA Paris), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris), Department of Applied Mathematics and Computer Science Lyngby (DTU Compute), Danmarks Tekniske Universitet = Technical University of Denmark (DTU), ENSTA ParisTech, Technical University of Denmark

  2. 2