Logics of Programs
D. Kozen
Reading Time
at 250 WPM8h 57m
The average reader, reading at a speed of 250 WPM, would take 8h 57m to read Logics of Programs.
Personalise your estimate by entering your reading speed below
Test my reading speedEnter speed in words per minute
18
days at 30 min/day
537
total minutes
Logics of Programs
by D. Kozen
Published
Feb 01, 1984
Publisher
Springer
Pages
537
ISBN-13
9783540128960
ISBN-10
3540128964
Subjects
Full abstraction and semantic equivalence
Elements of functional programming
Mathematical foundations of programming semantics
Denotational semantics
Realistic compiler generation
Introduction à la théorie des langages de programmation
Frequently Asked Questions
How many pages are in Logics of Programs?
This edition of Logics of Programs has approximately 537 pages. Please note, this is an estimate and the exact page count can vary between hardcover, paperback, and e-book versions.
How long does it take to read Logics of Programs?
For most readers, Logics of Programs typically takes between 11h 11m and 7h 28m to complete. This is based on the book's length of approximately 134,250 words and common reading speeds.
Here's a detailed breakdown: • Continuous reading at 250 WPM: approximately 8h 57m of focused reading • Casual reading (30 minutes/day): you could finish in roughly 18 days • Estimated word count: 134,250 words
Your individual reading time will vary based on your personal reading pace, the amount of daily reading time, and your familiarity with the subject matter.
What is the word count of Logics of Programs?
The estimated word count for Logics of Programs is approximately 134,250 words. This figure is calculated using industry-standard methods that consider genre-specific word density patterns, typical formatting and layout characteristics, and standard words-per-page ratios for published books.
This is an approximation — actual word count may vary based on font size, formatting, edition, and the presence of illustrations or charts.
Who is the author of Logics of Programs?
Logics of Programs was written by D. Kozen.
When was Logics of Programs published?
The publication date for this specific edition is Feb 01, 1984. The original work may have been published on a different date.