The Spine of Software: Designing Provably Correct Software : Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program

The Spine of Software: Designing Provably Correct Software : Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program

Author: Robert Laurence Baber
Publisher: John Wiley & Sons Inc
Language: English
Edition: Hardcover
Year: 1988
Page: 360
ISBN: 0471914746,9780471914747
File Type: djvu
File Size: 2.4 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book