Online Bücher bei 1Advd.ch bestellen

Stephan Merz

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 and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5 (Buch) Sprache: English Veröffentlichung: September 2014 (Auf Bestellung) Einband: Kartoniert	SFr. 70.00 bestellen
	Formal Systems Specification: The RPC-Memory Specification Case Study (Buch) Sprache: English Veröffentlichung: November 1996 (Auf Bestellung) Einband: Kartoniert	SFr. 69.00 bestellen
	Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings (Buch) Sprache: English Veröffentlichung: Oktober 2010 (Auf Bestellung) Einband: Kartoniert	SFr. 70.00 bestellen
	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
Autor von:
	Temporal Logic and State Systems (Buch) Sprache: English Veröffentlichung: März 2008 (Auf Bestellung) Einband: Gebunden	SFr. 104.00 bestellen
	Temporal Logic and State Systems (Buch) Sprache: English Veröffentlichung: November 2010 (Auf Bestellung) Einband: Kartoniert	SFr. 103.00 bestellen
Seite 1 von 1