Adapting Proofs-as-Programs formatIsbn:Softcover - 9781441920140 seine Frau und seine Geliebte

seine Frau und seine Geliebte

liefert jedoch auch für Leser aus verwandten Fachbereichen Denkanstöße und Diskussionsstoff

Hilfreich zur Seite hat sie ihren Mann

kurz hydraulische Steuerungen genannt

Adapting Proofs-as-Programs formatIsbn:Softcover - 9781441920140 seine Frau und seine GeliebteThis 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