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

Description

Tools

Cite this Export citation file

Main Author: He, Jifeng, 1943-
Language(s): English
Published: London ; McGraw-Hill, c1995.
Subjects: Compilers (Computer programs)
Programming languages (Electronic computers)
Software engineering.
Physical Description: xii, 175 p. : ill. ; 26 cm.
ISBN: 0077090527
Locate a Print Version: Find in a library

Viewability

Item Link	Original Source
Limited (search only)	University of Michigan

View HathiTrust MARC record

Similar Items

Mathematical frameworks for component software : models for analysis and synthesis

Author: He, Jifeng, 1943-
Published: 2006

Unifying theories of programming

Author: Hoare, C. A. R. (Charles Antony Richard), 1934-
Published: 1998

Africa research bulletin. Political, social and cultural series

Author: Africa Research, Ltd.
Published: 1992

Manual of the General Conference

Author: Unesco. General Conference.
Published: 1996

Russian politics and law

Published: 1992

Sailing directions (enroute). Newfoundland, Labrador and Hudson Bay

Author: United States. Defense Mapping Agency. Hydrographic/Topographic Center.
Published: 1995

Sailing directions (enroute). Nova Scotia and the Saint Lawrence

Author: United States. National Imagery and Mapping Agency.
Published: 1995

Microfilm resources for research : a comprehensive catalog

Author: United States. National Archives and Records Administration.
Published: 1990

[Asterisk] : the journal of computer documentation

Author: Association for Computing Machinery. Special Interest Group for Documentation
Published: 1991

Sailing directions (enroute). Japan. Volume 1.

Author: United States. National Imagery and Mapping Agency.
Published: 1990