Kategória: Jazyk: Všetky jazyky Anglický Slovenský Český Zoradiť podľa: najnovšie autor A – Z autor Z – A názov A – Z názov Z – A zobraziť iba dostupné zobraziť iba použité Autor: Katoen reset filtrov +
Autor: Katoen Formal Methods for Real-Time and Probabilistic Systems Katoen 1999 Tools and Algorithms for the Construction and Analysis of Systems Katoen 2002 2 knižných titulov