Product Description: This important resource presents the current state of the art in the application of formal methods to object based distributed systems. A major theme is how to formally handle the new requirements arising from OO distributed systems...read more

Product Description: Kauai - Mile by Mile Guide: The Best of the Garden Isle is the second in the 'Mile by Mile' series. Starting with a thorough introduction of the island, this guidebook follows with a section on planning your ideal Kauai trip including details on weather, when to visit, accommodation and rental tips, and itineraries for both the one and two week travelers...read more

This guidebook reveals the famous Road to Hana, the thrilling drive Beyond Hana and Upcountry Maui, and the breathtaking Haleakala Highway drive to the summit of Mount Haleakala. It is fully illustrated with more than 150 photographs. Featuring more than 70 stops, it is the most condensed, yet thorough, guide of its kind. The detailed descriptions and place rankings allow the reader to easily identify the places they want to see. Original.

Product Description: The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4–7 April 2004. The conference was organized by the Computing Laboratory at the University of Kent, whose main campus is just outside the ancient town of Canterbury, part of the county of Kent...read more

Product Description: 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...read more (view table of contents, read Amazon.com's description)

Offers advice on purchasing office equipment, discussing the history of the equipment, the pros and cons of different available features, emerging technologies, and vendors' strengths and weaknesses