Search Results for Computer programs -- Specifications.

Select an Action

2 Results Found

00DEFAULT

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

Zelkowitz, Marvin V., 1945-

Format:

Excerpt:

described that allows developers to make sure that their source programs adhere to the architectural design

Rich, Charles, 1951-

Format:

Excerpt:

: Introduction to Program Verification; Chapter 5: Mechanical proofs about computer programs; Publisher Summary

Select an Action

	{displayName}	{count}
{error}