prindi

Truth valued computing processes and process calculus: a formalism for describing programming logic

autor
Kracht, Wilhelm
vastutusandmed
W. Kracht
allikas
Tallinna Tehnikaülikooli Toimetised
ajakirja aastakäik number kuu
722
ilmumisaasta
1990
leheküljed
lk. 55-94: ill
märksõna
programmeerimine
loogika
kirjeldamine
arvutusmeetodid
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.