Reasoning about program transformations: imperative programming and flow of data

Author
Jean-Francois Collard
Publisher
Springer
Language
English
Edition
1
Year
2003
Page
247
ISBN
9780387953915,0-387-95391-4
File Type
pdf
File Size
1.7 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book