Bernhard K. Aichernig  |
| Sortierung: Titel - Veröffentlichung | ||
| Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch | ||
| Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) | ||
| Herausgeber von: | ||
 | Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Softw (Buch) Sprache: English Veröffentlichung: November 2003 (Auf Bestellung) Einband: Kartoniert | SFr. 69.00 bestellen |
 | Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 (Buch) Sprache: English Veröffentlichung: Dezember 2011 (Auf Bestellung) Einband: Kartoniert | SFr. 70.00 bestellen |
 | Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings (Buch) Sprache: English Veröffentlichung: Juni 2016 (Auf Bestellung) Einband: Kartoniert | SFr. 70.00 bestellen |
| Seite 1 von 1 | ||
Newsletter |
Newsfeed | 
Facebook | 
Twitter
Forbidden Planet AG © 1999-2026
Alle Angaben ohne Gewähr
|