Online Bücher bei 1Advd.ch bestellen

Augusto Sampaio

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: 27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part I (Buch) Sprache: English Veröffentlichung: Juni 2026 (Vorankündigung) Einband: Kartoniert	SFr. 55.90 vorbestellen
	Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part II (Buch) Sprache: English Veröffentlichung: Juni 2026 (Vorankündigung) Einband: Kartoniert	SFr. 123.00 vorbestellen
	Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December (Buch) Sprache: English Veröffentlichung: September 2006 (Auf Bestellung) Einband: Kartoniert	SFr. 70.00 bestellen
	The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement (Buch) Sprache: English Veröffentlichung: August 2024 (Auf Bestellung) Einband: Kartoniert	SFr. 91.00 bestellen
	Theoretical Aspects of Computing – ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings (Buch) Sprache: English Veröffentlichung: September 2016 (Auf Bestellung) Einband: Kartoniert	SFr. 70.00 bestellen
	Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal (Buch) Sprache: English Veröffentlichung: September 2019 (Auf Bestellung) Einband: Kartoniert	SFr. 69.00 bestellen
Seite 1 von 1