A calculus of total correctness for communicating processes /

A calculus of total correctness for communicating processes /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Hoare, C. A. R. (Charles Antony Richard)
Korporativní autor: Oxford University Computing Laboratory. Programming Research Group
Médium: Kniha
Jazyk:English
Vydáno: Oxford : Oxford University Computing Laboratory, Programming Research Group, 1981.
Edice:Technical monograph (Oxford University Computing Laboratory. Programming Research Group) ; PRG-23.
Témata:
Machine theory.
Formal languages.
Popis
Fyzický popis:31 p. : ill. ; 21 cm.
Bibliografie:Includes bibliographical references.

Podobné jednotky