Brinksma ed edt (2 Ergebnisse)

Autor:

Mit der Detailsuche verfeinern

Tools and Algorithms for the Construction and Analysis of Systems : Third International Workshop, Tacas 97 Enschede, the Netherlands, April 2-4, 1997 : Proceedings
Brinksma, Ed (EDT)
Sprache: Englisch
Verlag: Springer, 1997
3540627901 / 9783540627906
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Gebraucht - Wie neu
EUR 68,92
EUR 17,95 Versand
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
Lectures on Formal Methods and Performance Analysis : First Eef Summer School on Trends in Computer Science, Berg En Dal, the Netherlands, July 3-7, 2000, Revised Lectures
Brinksma, Ed (EDT); Hermanns, Holger (EDT); Katoen, Joost-Pieter (EDT)
Sprache: Englisch
Verlag: Springer, 2001
3540424792 / 9783540424796
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Gebraucht - Wie neu
EUR 68,92
EUR 17,95 Versand
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.