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: Manna reset filtrov +
Autor: Manna Temporal Verification of Reactive Systems Manna 1995 The Temporal Logic of Reactive and Concurrent Systems Manna 1992 2 knižných titulov