Wir nutzen Cookies, um unsere Dienste zu erbringen und zu verbessern. Mit Nutzung dieser Seite akzeptieren Sie Cookies.
Als Amazon-Partner verdiene ich an qualifizierten Verkäufen. Little Budget erhält eine Provision für alle Einkäufe, die über unsere Amazon-Links getätigt werden.
Rezension Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences ... Science Book 9636) (English Edition)