Nadia Polikarpova ![]() |
| Sortierung: Titel - Veröffentlichung | ||
| Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch | ||
| Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) | ||
| Herausgeber von: | ||
![]() | Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings (Buch) Sprache: English Veröffentlichung: August 2017 (Auf Bestellung) Einband: Kartoniert | SFr. 69.00 bestellen |
![]() | Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, R (Buch) Sprache: English Veröffentlichung: Dezember 2020 (Auf Bestellung) Einband: Kartoniert | SFr. 69.00 bestellen |
| Seite 1 von 1 | ||
Newsfeed |