Product Description: Now available in board book format, this adorable ghost story will charm the very youngest Halloween trick-or-treaters. Once there was a little witch whose house was haunted. But being a very clever little witch, she knew what to do: catch the ghosts, put them in the washing machine, and air them out to dry! Named a New York Times Best Illustrated Book for 2008, bold illustrations in a dynamic style bring this resourceful heroine and spooky ghosts to life...read more

Product Description: FOR USE IN SCHOOLS AND LIBRARIES ONLY. One cold morning a lonely boy wishes for something to do, so when he meets Jack Frost, the last thing he expects is to make a new friend... or to discover how enchanting winter can be!

Product Description: Perfect for bedtime reading, pay a visit to the Midnight Library where you can snuggle up for a nighttime story. There is a little library that only opens at night. In the library there is a little librarian―and her three assistant owls―who helps everyone find the perfect book...read more

Jayne Stoneworthy Knew Men Only Wanted One ThingBurke Youngblood was no different, mistaking her for a "good-time gal" and insisting she follow his every command. But she had a stubborn streak wider than the Rockies—and she'd be more than happy to show it to him!Burke Youngblood swore that marriage did not create ties that bind. No, sir. They chafed! But that was before he met the "Headmistress of Morals," Jayne Stoneworthy, a feisty, independent schoolteacher—and the most unlikely woman ever to buy a brothel! Besides, if he didn't make an honest woman out of her, who would?

The aim of this work is to provide a practical introduction to the formal specification of concurrent and real-time systems. It is intended for those with some basic knowledge or experience of computing but does not assume knowledge of the particular problems of concurrent and real-time systems. It concentrates on one group of languages, based on Robin Milner's Calculus of Communicating Systems (CCS). Supported throughout by examples and exercises, the practical applicability of the method is demonstrated and the benefits of a rigorous approach made clear. This text recognizes that building formal specifications, using abstraction and formal reasoning, are difficult skills to master, and thus adopts a practical, student-friendly approach.