This book uncovers techniques to overcome software complexity and enable the production of reliable, dependable computer systems that will operate as intended and are evolvable, both over time and at run time.
This book provides an assessment of G. -C. Rota’s legacy to international research in mathematics, philosophy and computer science. It includes chapters by leading researchers as well as a number of invited research papers.
This book offers a step-by-step guide on the mechanics of thesis writing. It helps readers to understand how to conceptualize and approach the problems of producing a thesis and illustrates the complete process with concrete examples.