B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code

This book traces the historical development of major language teaching methods in terms of theoretical principles and classroom procedures, and provides a criti

This book offers concrete and practical ideas for implementing content-based instruction—using subject matter rather than grammar—through eleven case studie

A systematic and practical research guide to coding verbal data in all its forms.

A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain er