Online Bücher bei 1Advd.ch bestellen

Narciso Martí-Oliet

Suche speichern: Du erhälst eine eMail sobald ein neuer Artikel mit diesen Kriterien eingetragen wird

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: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings (Buch) Sprache: English Veröffentlichung: Januar 2015 (Auf Bestellung) Einband: Kartoniert	SFr. 55.90 bestellen
	Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday (Buch) Sprache: English Veröffentlichung: August 2015 (Auf Bestellung) Einband: Kartoniert	SFr. 70.00 bestellen
	Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers (Buch) Sprache: English Veröffentlichung: April 2013 (Auf Bestellung) Einband: Kartoniert	SFr. 70.00 bestellen
	Rewriting Logic and Its Applications: 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers (Buch) Sprache: English Veröffentlichung: Dezember 2020 (Auf Bestellung) Einband: Kartoniert	SFr. 69.00 bestellen
	Rewriting Logic and Its Applications: 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers (Buch) Sprache: English Veröffentlichung: August 2024 (Auf Bestellung) Einband: Kartoniert	SFr. 81.00 bestellen
Autor von:
	All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Buch) Sprache: English Veröffentlichung: Juli 2007 (Auf Bestellung) Einband: Set (Buch und div.)	SFr. 128.00 bestellen
Seite 1 von 1