J. C. Bradfield
Författare till Verifying Temporal Properties of Systems
Om författaren
Serier
Verk av J. C. Bradfield
Quettar Back Issues Collection Volume II 2 exemplar
Quettar Back Issues Collection Volume III 2 exemplar
Computer science logic : 16th International Workshop, CSL 2002 : 11th Annual Conference of the EACSL Edinburgh,… (2003) 1 exemplar
Quettar 14 Volume II 1 exemplar
Taggad
Allmänna fakta
Det finns inga Allmänna fakta än om den här författaren. Du kan lägga till några.
Medlemmar
Statistik
- Verk
- 6
- Medlemmar
- 12
- Popularitet
- #813,248
- ISBN
- 4