يعرض 1 - 2 نتائج من 2 نتيجة بحث عن '"• Software and its engineering → Imperative languages"', وقت الاستعلام: 0.97s تنقيح النتائج
  1. 1
  2. 2

    المساهمون: Vérification d'Algorithmes, Langages et Systèmes (LRI) (VALS - LRI), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique (CNRS), Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Oracle Labs, Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)

    المصدر: WWW (Companion Volume)
    WWW 2018-International World Wide Web Conference
    WWW 2018-International World Wide Web Conference, Apr 2018, Lyon, France. pp.1-16, ⟨10.1145/3184558.3185973⟩