The Correctness-by-Construction Approach to Programming

Author: Derrick G. Kourie Bruce W. Watson
Publisher: Springer
Language: English
File Type: epub
File Size: 218.8 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book