Truth valued computing processes and process calculus: a formalism for describing programming logic
autor
vastutusandmed
W. Kracht
ajakirja aastakäik number kuu
722
ilmumisaasta
leheküljed
lk. 55-94: ill
ISSN
0868-4081
märkused
Bibl. 12 nim
retsensioon
Kokkuvõte: Tõeväärtusega arvutusprotsess ja protsessiarvutus : formalism programmeerimisloogika kirjeldamiseks
Резюме: Крахт В. Вычислительный процесс с логическим значением и исчисление процессов : формализм для описания логики программирования, в прил. с. 3
keel
inglise
Kracht, W. Truth valued computing processes and process calculus: a formalism for describing programming logic // Tallinna Tehnikaülikooli Toimetised (1990) 722, lk. 55-94: ill.