Go to main content

Reasoning about program transformations : imperative programming and flow of data / Jean-François Collard.

Collard, Jean-François.
2003
QA76.7 .C645 2003 (Mapit)
Available at General Collection
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket

Items

Details

Title
Reasoning about program transformations : imperative programming and flow of data / Jean-François Collard.
Author
Collard, Jean-François.
ISBN
0387953914 (alk. paper)
Published
New York : Springer, [2003]
Copyright
©2003
Language
English
Description
xviii, 237 pages : illustrations ; 25 cm
Call Number
QA76.7 .C645 2003
Dewey Decimal Classification
005.13
Bibliography, etc. Note
Includes bibliographical references (p. 229-235) and index.
Record Appears in
On-Campus Resources > Books
All Resources

Browse Subjects

Show more subjects...

Statistics

from
to
Export