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: Beckert reset filtrov +
Autor: Beckert Verification of Object-Oriented Software. The KeY Approach Beckert 2007 Automated Reasoning with Analytic Tableaux and Related Methods Beckert 2005 Tests and Proofs Beckert 2008 3 knižných titulov