熱門搜尋
您輸入的關鍵字: Roever
搜尋結果共 31 筆, 頁數 1 / 1
呈現:
Extending earlier work on grammar, this book investigates the development of tests measuring second ... more
This Festschrift for Tim McNamara brings together papers on the social impact of language tests, suc... more
Quantitative Methods for Second Language Research introduces approaches to and techniques for quanti... more
This book describes the development and argument-based validation of a web-based test of second lang... more
This is a systematic and comprehensive introduction both to compositional proof methods for the stat... more
Formal methods have been applied successfully to the verification of medium-sized programs in protoc... more
Winner of the SAGE/ILTA Award for Best Book on Language Testing 2009 This volume focuses on the soci... more
Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to con... more
The goal of this book is to provide a comprehensive and systematic introduction to the important and... more
The REX School/Symposium "A Decade of Concurrency - Reflections and Perspectives" was the final even... more
This volume is based on a workshop on the semantics of programming languages held in The Netherlands... more
Object-oriented programming is the best way currently available of structuring software systems. Thi... more
This proceedings volume surveys the state of the art in concurrent program specification, verificati... more
This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Log... more