AuthorCollard, Jean-Fran๐cois
TitleReasoning about program transformations [electronic resource] : imperative programming and flow of data / Jean-Fran๐cois Collard
Imprint New York : Springer, 2003
Connect tohttp://www.netLibrary.com/urlapi.asp?action=summary&v=1&bookid=98902
Descript xviii, 237 p. : ill

SUBJECT

  1. Programming languages (Electronic computers)
  2. Electronic books.