Online Bücher bei 1Advd.ch bestellen

Ed Brinksma

Sortierung: Titel - Veröffentlichung
Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch
Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette)
Herausgeber von:
	Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Buch) Sprache: English Veröffentlichung: Juli 2002 (Auf Bestellung) Einband: Kartoniert	SFr. 135.00 bestellen
	Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7 (Buch) Sprache: English Veröffentlichung: August 2001 (Auf Bestellung) Einband: Kartoniert	SFr. 69.00 bestellen
	Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Select (Buch) Sprache: English Veröffentlichung: November 1995 (Auf Bestellung) Einband: Kartoniert	SFr. 69.00 bestellen
	Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, (Buch) Sprache: English Veröffentlichung: März 1997 (Auf Bestellung) Einband: Kartoniert	SFr. 69.00 bestellen
Seite 1 von 1