Aaron R. Bradley
Auteur de The Calculus of Computation: Decision Procedures with Applications to Verification
Œuvres de Aaron R. Bradley
The Calculus of Computation: Decision Procedures with Applications to Verification (2007) 15 exemplaires
Étiqueté
Partage des connaissances
Il n’existe pas encore de données Common Knowledge pour cet auteur. Vous pouvez aider.
Membres
Statistiques
- Œuvres
- 2
- Membres
- 23
- Popularité
- #537,598
- ISBN
- 6