Browse Categories
Arts
Business
Computers
Games
Health
Home
Kids and Teens
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
About Nomoz
Contact Us
Options:
Directory
Entire Web
Top
:
Computers
:
Computer_Science
:
People
:
H
:
Hesselink, Wim H.
Link Details for:
Hesselink, Wim H.
Link Title:
Hesselink, Wim H.
Link URL:
http://www.cs.rug.nl/~wim/
Link Details:
University of Groningen - Nondeterminacy, predicate transformation semantics, distributed programming, design and correctness of algorithms, and mechanical theorem proving for correctness and design of distributed systems.
Category:
Top : Computers : Computer_Science : People : H
Link Type:
ScreenShot:
Link Details for: Hesselink, Wim H.
