A Concise Introduction to Logic

While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined - ideally there exist complete precise descriptions of the source and target languages. Additional descriptions of the interfaces to the operating system, programming system and programming environment, and to other compilers and libraries are often available.

This text provides a comprehensive, but concise introduction to software engineering. It adopts a methodical approach to solving software engineering problems proven over several years of teaching, with outstanding results.

This book will hopefully shed light on some of the advances taking place within nuclear science research in recent times. It describes the interesting results of some modern nuclear science research carried out by bright scientists and researchers in different parts of the world. This book will hopefully encourage readers, researchers, and scientists to look further into the frontier topics of modern nuclear science and make the needed efforts to develop its cause and uses.