Författarbild

Om författaren

David Luckham is Professor Emeritus at Stanford University, where he directs the Program Analysis and Verification Project

Inkluderar namnet: David C. Luckham

Verk av David Luckham

Taggad

Allmänna fakta

Kön
male

Medlemmar

Statistik

Verk
5
Medlemmar
52
Popularitet
#307,430
Betyg
3.1
ISBN
14

Tabeller & diagram