Interactive theorem proving third (7 Ergebnisse)

Sprache: Englisch

Verlag: Springer, 2012

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 53,79

EUR 2,33 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Interactive Theorem Proving : Third International Conference, Itp 2012, Princeton, Nj, USA, August 13-15, 2012. Proceedings

Sprache: Englisch

Verlag: Springer, 2012

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 61,53

EUR 2,33 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Interactive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Beringer, Lennart

Sprache: Englisch

Verlag: Springer 2012-07, 2012

Softcover

Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 57,58

EUR 18,07 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 10 verfügbar

PF. Zustand: New.

Interactive Theorem Proving : Third International Conference, Itp 2012, Princeton, Nj, USA, August 13-15, 2012. Proceedings

Sprache: Englisch

Verlag: Springer, 2012

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 60,56

EUR 17,50 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings (Lecture Notes in Computer Science, 7406)

Sprache: Englisch

Verlag: Springer, 2012

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 67,23

EUR 13,17 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In English.

Interactive Theorem Proving : Third International Conference, Itp 2012, Princeton, Nj, USA, August 13-15, 2012. Proceedings

Sprache: Englisch

Verlag: Springer, 2012

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Beringer, Lennart (Editor)/ Felty, Amy (Editor)

Zustand: Gebraucht - Wie neu

EUR 67,22

EUR 17,50 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Interactive Theorem Proving: Third International Conference, Itp 2012, Princeton, Nj, USA, August 13-15, 2012. Proceedings

Sprache: Englisch

Verlag: Springer Verlag, 2012

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen