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: Godefroid reset filtrov +
Autor: Godefroid Model Checking Software Godefroid 2005 Partial-Order Methods for the Verification of Concurrent Systems Godefroid 1996 2 knižných titulov