Isabelle/HOL Theories of Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations الإنجليزية (Q3332726)
أطروحة أكاديمية
اللغة | التسمية | الوصف | أسماء أخرى |
---|---|---|---|
العربية | لم تُضف التسمية |
أطروحة أكاديمية |
|
الإنجليزية | 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 الإنجليزية
publisher الإنجليزية
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 الإنجليزية
copyright status الإنجليزية
full work available at URL الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية