Mordechai Ben-Ari

Œuvres (2)

Couverture : Principles of the Spin model checker

Principles of the Spin model checker

2008
Couverture : Understanding programming languages

Understanding programming languages

1996