It takes the average reader 8 hours and 15 minutes to read Refinement in Z and Object-Z by John Derrick
Assuming a reading speed of 250 words per minute. Learn more
Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different application areas. It covers four main themes: Data refinement and its application to Z Generalisations of refinement that change the interface and atomicity of operations Refinement in Object-Z Modelling state and behaviour by combining Object-Z with CSP Refinement in Z and Object-Z: Foundations and...
Refinement in Z and Object-Z by John Derrick is 492 pages long, and a total of 123,984 words.
This makes it 166% the length of the average book. It also has 152% more words than the average book.
The average oral reading speed is 183 words per minute. This means it takes 11 hours and 17 minutes to read Refinement in Z and Object-Z aloud.
Refinement in Z and Object-Z 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.
Refinement in Z and Object-Z by John Derrick is sold by several retailers and bookshops. However, Read Time works with Amazon to provide an easier way to purchase books.
To buy Refinement in Z and Object-Z by John Derrick on Amazon click the button below.
Buy Refinement in Z and Object-Z on Amazon