Reading Length
Home
Speed Tests
Login
Fred B. Schneider
Identifiers
Open Library
OL381669A
Top Subjects
Real-time programming (1)
Computer programs -- Verification (1)
Parallel programming (Computer science) (1)
Books by Fred B. Schneider
Total count: 4
Putting time into proof outlines
Dept. of Computer Science
1991-01-01
On concurrent programming
Springer
1997-01-01
Trust in Cyberspace
National Academies Press
1999-01-01
A Logical Approach to Discrete Math
Springer
2010-12-01
