Online Bücher bei 1Advd.ch bestellen

Jasmin Christian Blanchette

Sortierung: Titel - Veröffentlichung
Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch
Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette)
Herausgeber von:
	Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings (Buch) Sprache: English Veröffentlichung: August 2016 (Auf Bestellung) Einband: Kartoniert	SFr. 69.00 bestellen
	Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings (Buch) Sprache: English Veröffentlichung: Juli 2015 (Auf Bestellung) Einband: Kartoniert	SFr. 68.00 bestellen
Seite 1 von 1