Reasoning about program transformati...
Collard, Jean-Fran簙ois.

 

  • Reasoning about program transformations : = imperative programming and flow of data /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Reasoning about program transformations :/ Jean-Fran簙ois Collard.
    Reminder of title: imperative programming and flow of data /
    Author: Collard, Jean-Fran簙ois.
    Published: New York :Springer, : 2003,
    Description: xviii, 237 p. :ill. ; : 25 cm.;
    Subject: Programming languages (Electronic computers) -
    ISBN: 0387953914 (alk. paper) :
Items
  • 1 records • Pages 1 •
Search Note
 
  Print  B008174 總館西文區 一般圖書流通(BOOK_CIR) 一般圖書 QA76.7 C697 2003 一般使用(Normal) On shelf 0
  • 1 records • Pages 1 •
Reviews
Export
pickup library
 
 
Change password
Login