It takes the average reader 7 hours to read Adapting Proofs-as-Programs by Iman Poernomo
Assuming a reading speed of 250 words per minute. Learn more
This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems. One of the books central themes is a general, abstract framework for developing new systems of programs synthesis by adapting proofs-as-programs to new contexts.
Adapting Proofs-as-Programs by Iman Poernomo is 420 pages long, and a total of 105,000 words.
This makes it 142% the length of the average book. It also has 128% more words than the average book.
The average oral reading speed is 183 words per minute. This means it takes 9 hours and 33 minutes to read Adapting Proofs-as-Programs aloud.
Adapting Proofs-as-Programs is suitable for students ages 12 and up.
Note that there may be other factors that effect this rating besides length that are not factored in on this page. This may include things like complex language or sensitive topics not suitable for students of certain ages.
When deciding what to show young students always use your best judgement and consult a professional.
Adapting Proofs-as-Programs by Iman Poernomo is sold by several retailers and bookshops. However, Read Time works with Amazon to provide an easier way to purchase books.
To buy Adapting Proofs-as-Programs by Iman Poernomo on Amazon click the button below.
Buy Adapting Proofs-as-Programs on Amazon