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: Aagaard reset filtrov +
Autor: Aagaard Theorem Proving in Higher Order Logics Aagaard 2000 Formal Methods in Computer-Aided Design Aagaard 2002 2 knižných titulov