Online Bücher bei 1Advd.ch bestellen

César A. Muñoz

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: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings (Buch) Sprache: English Veröffentlichung: August 2017 (Auf Bestellung) Einband: Kartoniert	SFr. 110.00 bestellen
	NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24¿28, 2021, Proceedings (Buch) Sprache: English Veröffentlichung: Mai 2021 (Auf Bestellung) Einband: Kartoniert	SFr. 115.00 bestellen
Seite 1 von 1