Steve Vickers

Steve Vickers

No information is available for this author.

Back to all authors

Books Authored by Steve Vickers

Reasoned Programming

Post date: 20 Sep 2006
Presents informal way of attempting a mathematical proof of reliability to make sure that our computer programs will work reliably. Also shows the benefits of the approach even without strict formality.
Publication date: 01 Jan 1994
 
Reasoned Programming

Reasoned Programming

Post date: 20 Sep 2006
Presents informal way of attempting a mathematical proof of reliability to make sure that our computer programs will work reliably. Also shows the benefits of the approach even without strict formality.
Publication date: 01 Jan 1994


Book Categories
Sponsors