Автор: Germany) Rudolph Sebastian (University of Karlsruhe

Thoroughly covering basic introductions and intuitions, technical details, and formal foundations, this text focuses on the established foundations in this area that have become relatively stable ove …