A calculus of total correctness for communicating processes /

A calculus of total correctness for communicating processes /

Tallennettuna:
Bibliografiset tiedot
Päätekijä: Hoare, C. A. R. (Charles Antony Richard)
Yhteisötekijä: Oxford University Computing Laboratory. Programming Research Group
Aineistotyyppi: Kirja
Kieli:English
Julkaistu: Oxford : Oxford University Computing Laboratory, Programming Research Group, 1981.
Sarja:Technical monograph (Oxford University Computing Laboratory. Programming Research Group) ; PRG-23.
Aiheet:
Machine theory.
Formal languages.
Kuvaus
Ulkoasu:31 p. : ill. ; 21 cm.
Bibliografia:Includes bibliographical references.

Samankaltaisia teoksia