Summary goes here

Furkejuvvon:
Bibliográfalaš dieđut
Materiálatiipa: Girji
Giella:eaŋgalasgiella
Fáttát:
Fáddágilkorat: Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
era
format Book
genre
geographic
id 71547796-d751-40b3-8d32-ec0ff486c021
isbn 0387224610 (electronic bk.)
9780387224619 (electronic bk.)
0585472734 (electronic bk.)
9780585472737 (electronic bk.)
issn
language eng
physical 1 online resource (xviii, 237 pages) :illustrations
publication – publisher: Springer
  dateOfPublication: 2003
publishDate 2003
subjects
title Reasoning about program transformations imperative programming and flow of data / Jean-François Collard. [electronic resource] :
topic Imperative programming.
Programming languages (Electronic computers)
Program transformation (Computer programming)
COMPUTERS
Electronic books.