Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: New.
Zustand: New.
Zustand: New.
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: As New. Unread book in perfect condition.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 52,23
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 52,22
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 58,57
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Verlag: Springer-Verlag New York Inc, 2017
ISBN 10: 3319516515 ISBN 13: 9783319516516
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 69,61
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 168 pages. 9.00x6.00x0.50 inches. In Stock.
Verlag: Springer International Publishing, 2017
ISBN 10: 3319516515 ISBN 13: 9783319516516
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
EUR 42,96
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Provides readers with the fundamental tools needed to develop mathematical certificates of correctness and robustness of software and hardware systems Explains how logical deductive rules are related with proof commands available in deductive fra.