Provably correct systems : modelling of communication languages and design of optimized compilers /

Tallennettuna:
Bibliografiset tiedot
Päätekijä: He, Jifeng
Aineistotyyppi: Kirja
Kieli:English
Julkaistu: London : McGraw-Hill, c1995.
Sarja:The McGraw-Hill international series in software engineering
Aiheet:
Kuvaus
Ulkoasu:xii, 175 p. : ill. ; 26 cm.
Bibliografia:Includes bibliographical references and index.
ISBN:0077090527 :