The ever-increasing dependence of our lives and livelihoods on the correct functioning of computer software means that logic and program correctness are core elements of all good computer science degrees. This book presents both these topics in one self-contained text.

The focus of the book is on "correct-by-construction" program design -- the discipline of calculating programs from their specifications. Modern, calculational logic is introduced in combination with key program construction principles, such as the assignment axiom, loop invariants and bound functions. This material is intertwined with motivational discussion, programming examples and challenging problem-solving exercises, bringing the book alive for its intended audience, undergraduates in computer science and mathematics, as well as professional programmers wishing to further develop their programming skills.

The book covers the elements of logic and program correctness that form the foundations of further study --- the logical connectives and their algebraic properties, induction, quantifiers and program construction rules. Substantial examples of program construction are included. Many exercises are provided, all with detailed solutions.

Roland Emmerich directs this political thriller based around the notion that William Shakespeare was not in fact the author of the canon of plays attributed to him. In Elizabethan England, political intrigue abounds as the Tudors and the Cecils battle it out over the succession of Queen Elizabeth I (Joely Richardson/Vanessa Redgrave), and the Essex Rebellion mobilises against her. Enter the dashing and wildly talented Edward de Vere, 17th Earl of Oxford (Jamie Campbell Bower/Rhys Ifans), who not only fathers an illegitimate son in a clandestine incestuous relationship with Queen Elizabeth, but is also the secret author of the plays labeled with the name of William Shakespeare (Rafe Spall).

Double bill of British dramas about football violence and hooliganism. 'The Football Factory' (2004) is based on the novel by John King. Tommy Johnson (Danny Dyer) is a bright but bored 30-year-old with a steady job and close-knit family who lives for the weekend life of casual sex, lager, drugs - and violence. Through him we meet three other males in his world: Billy Bright (Frank Harper), a right-wing fascist full of bitterness at a country that he perceives as having failed him; Zeberdee (Roland Manookian), a mouthy hooligan whose life revolves around crime and drugs; and Bill Farrell (Dudley Sutton), a 70-year-old war veteran who tries to enjoy every day to the limit. Shot in documentary style using a handheld camera, the film realistically captures the lure and potency of football violence. 'Arrivederci Millwall' (1990) follows a group of hardcore Millwall supporters as they travel to Bilbao in Spain for England's World Cup matches in 1982. Their rowdy behaviour soon leads them into trouble, and the violence escalates as Billy Jarvis (Kevin O'Donohoe) steals a gun to avenge his brother's death in the Falklands conflict.

Top cover girl and fashion model, Jennifer Tree (Elisha Cuthbert) has it all - beauty, fame, money and power. Appearing on covers of hundreds of magazines, Jennifer is America's sweetheart. Everyone wants her.

But someone out there has been watching and waiting. Someone wants her in the worst way. Out alone at a charity event in New York, Jennifer is drugged and taken. Held captive in a cell, she is subjected to a series of terrifying, life-threatening tortures that could only be conceived by a twisted, sadistic mind.

Low budget sci-fi creature feature. Jackson Slate (Brian Krause) and his team of deep sea divers accidentally unearth a prehistoric underwater monster while looking for the legendary Lost Gold of Cortez. With nearby island communities coming under attack from the newly awakened enemy, Jackson must team up with local marine biologist Sarah (Anne McDaniels) to put an end to its reign of terror...

Double bill of British crime dramas. 'The Rise and Fall of a White Collar Hooligan' (2012) follows Mike Jacobs (Nick Nevern), a football casual who is no stranger to finding himself on the wrong side of the law. However, the violence and intimidation he indulges in at football matches are one thing, the credit card fraud schemes proposed by his friend Eddie Hill (Simon Phillips) are something else, and Mike is soon in over his head. In 'The Rise and Fall of a White Collar Hooligan 2: England Away' (2013) Mike is living in Spain, safeguarded by the Witness Protection Programme after testifying against several of his former associates. Mike's fatal weakness is his passion for the England football team and his problems begin when he is spotted attending a game. Soon his life is turned upside down as those he betrayed seek revenge through the kidnapping of his friend Katie (Rita Ramnani).

The extraordinary new biography of one remarkable man who led a life ahead of his time. In 1904 Roger Casement became an overnight celebrity when he broadcast the abuses of the Belgian Congo and lobbied for change. Widely admired and even knighted for his humanitarian fervour, still he did not reveal all of himself. The internal fault lines ran deep: he was neither fully Irish nor English; baptised Catholic but raised Protestant; party to colonial rule yet appalled by its cruelties; and desperate for intimacy while tormented by his homosexuality. Plagued by poor mental health, these competing stresses would eventually overwhelm Casement - and he enters Germany during the First World War with a rash scheme to incite the Easter Rising. Later captured and declared a traitor by the British, his reputation in ruins after details of his sex life are leaked, Casement's life ends on the gallows and his body in an unmarked grave until, decades later, he is honoured with an Irish state funeral. Activist, patriot, lover, traitor, martyr: Roger Casement has been many things, to many people. Throughout all these myriad lives, Casement remained someone who struggled with his identity in a world that wilfully condemned difference. Broken Archangel brings the real - passionate, self-deceiving, altruistic, insecure, determined - Roger Casement to life for the first time.

Unlike some other reproductions of classic texts (1) We have not used OCR(Optical Character Recognition), as this leads to bad quality books with introduced typos. (2) In books where there are images such as portraits, maps, sketches etc We have endeavoured to keep the quality of these images, so they represent accurately the original artefact. Although occasionally there may be certain imperfections with these old texts, we feel they deserve to be made available for future generations to enjoy.

Unlike some other reproductions of classic texts (1) We have not used OCR(Optical Character Recognition), as this leads to bad quality books with introduced typos. (2) In books where there are images such as portraits, maps, sketches etc We have endeavoured to keep the quality of these images, so they represent accurately the original artefact. Although occasionally there may be certain imperfections with these old texts, we feel they deserve to be made available for future generations to enjoy.