Radhia Cousot ![]() |
| Sortierung: Titel - Veröffentlichung | ||
| Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch | ||
| Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) | ||
| Herausgeber von: | ||
![]() | Static Analysis: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings (Buch) Sprache: English Veröffentlichung: Mai 2003 (Auf Bestellung) Einband: Kartoniert | SFr. 70.00 bestellen |
![]() | Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings (Buch) Sprache: English Veröffentlichung: September 1996 (Auf Bestellung) Einband: Kartoniert | SFr. 69.00 bestellen |
![]() | Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings (Buch) Sprache: English Veröffentlichung: Januar 2005 (Auf Bestellung) Einband: Kartoniert | SFr. 70.00 bestellen |
| Seite 1 von 1 | ||
Newsfeed |