Faites connaître cet article à vos amis:
First-order Dynamic Logic - Lecture Notes in Computer Science D. Harel 1979 edition
First-order Dynamic Logic - Lecture Notes in Computer Science
D. Harel
136 pages, biography
| Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
| Validé | 1 avril 1979 |
| ISBN13 | 9783540092377 |
| Éditeurs | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 136 |
| Dimensions | 156 × 234 × 8 mm · 217 g |
| Langue et grammaire | Anglais |
Voir tous les D. Harel ( par ex. Paperback Book )
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier