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

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...

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

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...

This book constitutes the proceedings of the Third International Conference on Abstract State Mac...

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