Bøker av Michael Kifer

The goal of this book is to help fill in the void in the Logic Programming (LP) literature. It offers a number of overviews on key aspects of LP that are suitable for researchers and practitioners as well as graduate students.

This book is an introduction to the design and implementation of operating systems using OSP 2, the next generation of the highly popular OSP courseware for undergraduate operating system courses. The book allows students to practice these skills in a realistic operating systems programming environment.