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: Grumberg reset filtrov +
Autor: Grumberg Computer Aided Verification Grumberg 1997 25 Years of Model Checking Grumberg 2008 Tools and Algorithms for the Construction and Analysis of Systems Grumberg 2007 3 knižných titulov