Isabelle/HOL Theories of Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations الإنجليزية (Q3332726)

من Marefa data
أطروحة أكاديمية
اللغة التسمية الوصف أسماء أخرى
العربية
لم تُضف التسمية
أطروحة أكاديمية
    الإنجليزية
    Isabelle/HOL Theories of Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations
    2015 doctoral thesis by Walter Guttmann at University of Canterbury

      بيانات

      Wikidata item الإنجليزية
      ٠ مرجع
      publication date الإنجليزية
      2015http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      publisher الإنجليزية
      UC Research Repository الإنجليزية
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      author الإنجليزية
      Walter Guttmann الإنجليزية
      object named as الإنجليزية
      Guttmann, Walter
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      title الإنجليزية
      Isabelle/HOL Theories of Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations (الإنجليزية)
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      language of work or name الإنجليزية
      instance of الإنجليزية
      country of origin الإنجليزية
      ١ مراجع
      Imported from Wikidata item الإنجليزية