Provably correct systems : modelling of communication languages and design of optimized compilers :: Jifeng He :: ISBN 0077090527 :: McGraw-Hill 1995 :: OBNB, the Open British National Bibliography

Publication Data

Title Provably correct systems : modelling of communication languages and design of optimized compilers
Author Jifeng He
Publisher McGraw-Hill
Publication date 1995
Publication location London
Language English

Descriptive Notes

Bibliography: p170-173. - Includes index.

Topics

Software engineering
Programming languages (Electronic computers)
Compilers (Computer programs)

Catalogue Data

OBNB ID GB9947614
ISBN 10 0077090527
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.14

ISBD

P1053 xii,175p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Provably correct systems : modelling of communication languages and design of optimized compilers by Jifeng He. ISBN 0077090527. Published by McGraw-Hill in 1995. Publication and catalogue information, links to buy online and reader comments.