Reading Length
Home
Speed Tests
Login
Susan Speer Owicki
Identifiers
Open Library
OL1762851A
Top Subjects
Parallel processing (Electronic computers) (1)
Computer programs -- Verification (1)
Books by Susan Speer Owicki
Total count: 1
Axiomatic proof techniques for parallel programs
Garland Pub.
1980-01-01