B. A. Morton

Jim Ody

Anita Waller

A. S. King

Louise Jensen

David Evans

April Taylor

Nick Jackson

Betsy Reavley

Ross Greenwood

Lucy V. Hay

Lisa Hall

Alex Shaw

Tara Lyons

S.E. Lynes

Alex Walters

A.J. Sendall

Charlie Flowers

Jane E. James

Paul D. Brazill

Paul Gitsham

Stephen Edger

Pete Adams

Emma Pullar

Bernie Steadman

Richard T. Burke

Tony R. Cox

JT Lawrence

Ron Nicholson

KA Richardson

L J Ross

Joel Hames

Simon Maltman

Steve Dunne

Peter Best

Tess Makovesky

M.A. Comley

Roz White

Mark L. Fowler

Hannah Haq

Jenna-Leigh Golding

Dark Minds

Steve King

Jonathan P. Bowen

Andrew Galloway

This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000. The 25 revised full papers presented together with four invited contributions were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope, ranging from foundational and theoretical issues to advanced applications, tools, and case studies, is covered.

First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings

ZB 2000: Formal Specification and Development in Z and B

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Unifying Theories of Programming, UTP 2006, held at Walworth Castle, County Durham, UK, in February 2006. The 14 revised full papers presented, including those by the six invited speakers, were carefully reviewed and selected for presentation at the symposium and went through a second round of improvement after the meeting. Based on the pioneering work on unifying theories of programming by Tony Haare and Jifeng He, UTP 2006 reaffirmed the relevance of the ongoing UTP project and advanced it by focusing on the most significant results and by raising awareness of the benefits of unifying theoretical frameworks among the wider computer science and software engineering communities.

First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers

Unifying Theories of Programming

Bill Stoddart

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Unifying Theories of Programming, UTP 2006, held at Walworth Castle, County Durham, UK, in February 2006. The book presents 14 revised full papers. Based on the pioneering work on unifying theories of programming by Tony Haare and Jifeng He, UTP 2006 focused on the most significant results and raised awareness of the benefits of unifying theoretical frameworks.

A.S. King

A collection of short stories from some of your favourite authors. Do you think you know darkness? Think again. Bloodhound Books presents Dark Minds—a collection of stories by authors who have come together to produce an anthology that will lure, tantalise and shock its readers. What took place By the Water? What goes on behind A Stranger’s Eyes? And what is so special about Slow Roast Pork? From master authors such as Lisa Hall, Steven Dunne, Louise Jensen and Anita Waller, readers can expect a one hell of a ride . . . All profits from the sale of this book will be donated to Hospice UK and Sophie’s Appeal. Dark Minds is a collection of 40 crime and thriller short stories from authors including; Louise Jensen, L.J. Ross, Lisa Hall, Steven Dunne, Betsy Reavley, Alex Walters and Anita Waller plus many more. For the complete table of contents, Look Inside.

A Charity Collection of Short Stories from Some of Your Favourite Authors

Steve Dunne

Books

Your next favorite book is out there