An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy lan

Cutting-edge historians explore ideas, communities, and technologies around modern computing to explore how computers mediate social relations. Computers have b

CONCRETE ABSTRACTIONS offers students a hands-on, abstraction-based experience of thinking like a computer scientist. This text covers the basics of programming

This book constitutes the refereed proceedings of the 6th International Symposium on Abstraction, Reformulation, and Approximation, SARA 2005, held in Airth Cas

This text is intended for use in the second programming course Programming is a matter of learning by doing. Eric Roberts' Programming Abstractions in C++ gives