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: Brinksma reset filtrov +
Autor: Brinksma Tools and Algorithms for the Construction and Analysis of Systems Brinksma 1997 Tools and Algorithms for the Construction and Analysis of Systems Brinksma 1995 Lectures on Formal Methods and Performance Analysis Brinksma 2001 Computer Aided Verification Brinksma 2002 4 knižných titulov