Bubel richard edt (1 Ergebnisse)

Autor:

Mit der Detailsuche verfeinern

Deductive Software Verification - Future Perspectives : Reflections on the Occasion of 20 Years of Key
Ahrendt, Wolfgang (EDT); Beckert, Bernhard (EDT); Bubel, Richard (EDT); Hähnle, Reiner (EDT); Ulbrich, Mattias (EDT)
Sprache: Englisch
Verlag: Springer, 2020
3030643530 / 9783030643539
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Gebraucht - Wie neu
EUR 68,81
EUR 17,92 Versand
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.