Pay in 4 interest-free payments of $40.12 Learn more
Ships within 48 hours · Estimated delivery Oct 25 - Oct 30
distributing ads in the Google Network
liefert jedoch auch für Leser aus verwandten Fachbereichen Denkanstöße und Diskussionsstoff
Hilfreich zur Seite hat sie ihren Mann
deren Geschlechtsmerkmale durch die Fesseln aufreizend hervorgehoben werden
an die Absicht des Buches denken
Adapting Proofs-as-Programs formatIsbn:Softcover - 9781441920140 distributing ads in the GoogleThis book ? nds new things to do with an old idea. The proofs as programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has been over thirty years since the paradigm was ? rst conceived. At that time, there was a belief that proofs as programs had the tential for practical application to semi automated software development. I tial applications were mostly concerned with ? ne grain, mathematical
US$ 52.90
US$ 42.90
US$ 53.90
US$ 24.90
US$ 41.90
