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: Halbwachs reset filtrov +
Autor: Halbwachs Computer Aided Verification Halbwachs 1999 Synchronous Programming of Reactive Systems Halbwachs 1993 Tools and Algorithms for the Construction and Analysis of Systems Halbwachs 2005 3 knižných titulov