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: Barringer reset filtrov +
Autor: Barringer A Survey of Verification Techniques for Parallel Programs Barringer 1985 Advances in Temporal Logic Barringer 2000 American Mutt Barks in the Yard Barringer 2005 3 knižných titulov