Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: New.
Condizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: As New. Unread book in perfect condition.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 51,49
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Chiron Media, Wallingford, Regno Unito
EUR 49,35
Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 51,48
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 57,98
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Editore: Springer-Verlag New York Inc, 2017
ISBN 10: 3319516515 ISBN 13: 9783319516516
Lingua: Inglese
Da: Revaluation Books, Exeter, Regno Unito
EUR 69,66
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 168 pages. 9.00x6.00x0.50 inches. In Stock.
Editore: Springer International Publishing, 2017
ISBN 10: 3319516515 ISBN 13: 9783319516516
Lingua: Inglese
Da: moluna, Greven, Germania
EUR 42,96
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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.