Formal specifications were first used in the description of program ming languages because of the...

This comprehensive handbook synthesizes the often-fractured relationship between the study of bio...

InhaltsangabePart 1: Workshop Summary Statement. African Greenhouse Gas Emission Inventories and ...

InhaltsangabeDiagrams and programming languages for programmable controllers.- Graphical specific...

Research on theoretical aspects of computing has a direct impact on the pr- tice of computer syst...

This book provides an introduction to practical formal modelling techniques in the context of obj...

Lectures on Ecclesiastical History - Vol. 1 is an unchanged, high-quality reprint of the original...

Lectures on Ecclesiastical History - Including the origin and progress of the English reformation...

Oration Delivered before the City Council and Citizens of Boston on the One Hundred and Twentieth...

Lay Preaching - A Divinely-Appointed Part of Christian Ministry is an unchanged, high-quality rep...