UML expert author Dr. Doron Drusinsky compiled all the latest information on the application of UML (Universal Modeling Language) statecharts, temporal logic, automata, and other advanced tools for run-time monitoring and verification into a 400-page hardbound book: "Modeling and Verification Using UML Statecharts". This is the first book that deals specifically with UML-verification techniques. It presents important information within the context of real-life examples and solutions. As a practical text, as opposed to a high-level theoretical one, it emphasises getting the system developer up-to-speed on using the tools necessary for daily practice. The book will serve the needs of industry training/self-education in computer engineering, and cater for system architects, software engineers, embedded-system developers, as well as electrical engineers or system engineers.IPv6 (Internet Protocol version 6) is the future of Internet telephony. In its 384 pages, the paperback title "Voice Over IPV6" will provide you all the guidance needed to implement IPv6 as a replacement for the currently used IPv4. IPv6 will offer increased IP addresses (full 128-bit addresses, compared to the 32-bit addresses of IPv4), enhanced security, and greater robustness. It will also be fully backwards-compatible with existing IPv4 systems. In this book, author Dan Minoli clearly explains IPv6 and how telephone networks can be built on its foundations. This is not just another IPv6 book; instead, it focuses on those aspects of IPv6 relevant to Internet-telephony systems and voice networks. Minoli uses a compare/contrast approach, exploring where IPv6 is similar to IPv4 and where it differs, to let you quickly grasp the essence of IPv6 and the similarities (and differences) between current IPv4-based systems and IPv6-based ones.