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

Salvato in:
Dettagli Bibliografici
Autore principale: He, Jifeng
Natura: Libro
Lingua:English
Pubblicazione: London : McGraw-Hill, c1995.
Serie:The McGraw-Hill international series in software engineering
Soggetti:
Descrizione
Descrizione fisica:xii, 175 p. : ill. ; 26 cm.
Bibliografia:Includes bibliographical references and index.
ISBN:0077090527 :