Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineerin

When Flory's ancestors are forced to leave Spain during the time of the Spanish Inquisition, they take with them their two most precious possessions—the key t

Kai and Ginny grew up together--best friends since they could toddle around their building's rooftop rose garden. Now they're seventeen, and their relationship

Liza, Bill, and Jed Roberts unravel a series of coded clues that solve a family mystery while spending the summer on their grandparents' farm. Reissue.

The popular Rookie Books expand their horizons - to all corners of the globe! With this series all about geography, emergent readers will take off on adventures