An edition of Provably correct systems (1995)

Provably correct systems

modelling of communication languages and design of optimized compilers

by

Cover of: Provably correct systems by He, Jifeng, He, Jifeng
Locate

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
November 18, 2020 | History
Edit
An edition of Provably correct systems (1995)

Provably correct systems

modelling of communication languages and design of optimized compilers

by

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
McGraw-Hill
Language
English
Pages
175

Check nearby libraries

Buy this book

Subjects

Compilers (Computer programs) Software engineering Programming languages (Electronic computers)
Edition Availability
Cover of: Provably correct systems
Provably correct systems: modelling of communication languages and design of optimized compilers
1995, McGraw-Hill
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. 170-173) and index.

Published in
London, New York
Series
The McGraw-Hill international series in software engineering

Classifications

Dewey Decimal Class
005.1/4
Library of Congress
QA76.758 .H45 1995

The Physical Object

Pagination
xii, 175 p. :
Number of pages
175

Edition Identifiers

Open Library
OL1096471M
ISBN 10
0077090527
LCCN
94021071
Goodreads
3969303

Work Identifiers

Work ID
OL3487065W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON / OPDS | Wikipedia citation