Faites connaître cet article à vos amis:
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings - Lecture Notes in Computer Science 2004 edition
Rajeev Alur
Prix
€ 115,99
Commandé depuis un entrepôt distant
Livraison prévue 11 - 23 oct.
Nos clients disent :
Ajouter à votre liste de souhaits iMusic
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings - Lecture Notes in Computer Science 2004 edition
Rajeev Alur
536 pages, biography
| Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
| Validé | 29 juin 2004 |
| ISBN13 | 9783540223429 |
| Éditeurs | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 536 |
| Dimensions | 155 × 233 × 28 mm · 811 g |
| Langue et grammaire | German |
| Éditeur | Alur, Rajeev |
| Éditeur | Peled, Doron A. |
