Dieses Buch stellt eine umfassende Reihe von Techniken vor, die alle wichtigen Aspekte eines m...

This book presents a comprehensive set of techniques that enhance all key aspects of a modern ...

In hismaster thesis, Vladimir Herdt presents a novel approach, called completesymbolic simulat...