Stephan merz u a (3 Ergebnisse)
Sprache: Deutsch
Verlag: Neustadt a. d. Aisch, VDS Verlagsdruckerei Schmidt, 2022
- Softcover
Anbieter: Bookstore-Online, Mattsies, DeutschlandBookstore-Online
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 20,00
EUR 24,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Softcover. Zustand: Sehr gut. Auflage aus dem Buch nicht ersichtlich. 224 Seiten Das Buch befindet sich in einem gebrauchten sehr guten Zustand. Die vorhandenen Alters- und Gebrauchsspuren sind nur äußerst gering. Rik042151 Sprache: Deutsch Gewicht in Gramm: 850.
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Formal Methods and Software Engineering | 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings | Stephan Merz (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisch | 2014 | Springer | EAN 9783319117362 |…Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Interactive Theorem Proving | 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings | Jasmin Christian Blanchette (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvii | Englisch | 2016 | Springer | EAN 9783319431437 | Verantwortliche Person für die EU: Sprin…ger Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
