Faites connaître cet article à vos amis:
Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science J C Bradfield
Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science
J C Bradfield
116 pages, black & white illustrations, bibliography
| Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
| Validé | 25 février 2012 |
| ISBN13 | 9781468468212 |
| Éditeurs | Birkhauser |
| Pages | 116 |
| Dimensions | 156 × 234 × 7 mm · 185 g |
| Langue et grammaire | Anglais |
Voir tous les J C Bradfield ( par ex. Paperback Book )
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier