Horror Panegyric begins with a penetrating essay by Keith Seward on the three Lord Horror novels produced by David Britton and Michael Butterworth, aka Savoy Books of Manchester, England. Following the essay are excerpts from the three difficult-to-find novels Lord Horror, Motherf*ckers: The Auschwitz of Oz, and Baptised in the Blood of Millions. Rounding out the volume is a timeline of Lord Horror productions that includes the novels, comic books, and recordings for which Savoy Books has earned its worldwide notoriety.

This new collection gathers together 45 of Stableford's best critical reviews on works of science fiction, fantasy, horror, decadent literature, and nonfiction books about these topics. His comments are witty, intelligent, and full of insight. Complete with comprehensive index.

An indispensable sampling of the vast assortment of publications which exist as an adjunct to the mainstream press, or which promote themes and ideas that may be defined as pop culture, alternative, underground or subversive. Updated and revised from the pages of the critically acclaimed Headpress journal, this is an enlightened and entertaining guide to the counter culture - including everything from cult film, music, comics and cutting-edge fiction, by way of its books and zines, with contact information accompanying each review.

The great horror of modern history absorbed into the framework of surrealism, literary fantasy and the darkest children's fiction. Lautreamont and Sade meet Roald Dahl. The main protagonists are everyone's favorite comic heroes - Meng and Ecker - mutant twins, rescued from the death camps for 'research' purposes by the infamous Dr. Mengele. Unsurprisingly, this book has already appeared in court in Britain....

An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems. Model checking is a verification technology that provides an algorithmic means of determining whether an abstract model—representing, for example, a hardware or software design—satisfies a formal specification expressed as a temporal logic formula. If the specification is not satisfied, the method identifies a counterexample execution that shows the source of the problem. Today, many major hardware and software companies use model checking in practice, for verification of VLSI circuits, communication protocols, software device drivers, real-time embedded systems, and security algorithms. This book offers a comprehensive presentation of the theory and practice of model checking, covering the foundations of the key algorithms in depth. The field of model checking has grown dramatically since the publication of the first edition in 1999, and this second edition reflects the advances in the field. Reorganized, expanded, and updated, the new edition retains the focus on the foundations of temporal logic model while offering new chapters that cover topics that did not exist in 1999: propositional satisfiability, SAT-based model checking, counterexample-guided abstraction refinement, and software model checking. The book serves as an introduction to the field suitable for classroom use and as an essential guide for researchers.