Proving programs correct (Book, 1979) []
skip to content
New coming soon
Proving programs correct

Proving programs correct

Author: Robert Brockett Anderson
Publisher: New York : Wiley, 1979.
Edition/Format:   Print book : EnglishView all editions and formats
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...


Document Type: Book
All Authors / Contributors: Robert Brockett Anderson
ISBN: 0471033952 9780471033950
OCLC Number: 265701325
Description: VIII, 184 Seiten
Responsibility: Robert B. Anderson.


Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Similar Items

Related Subjects:(1)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.