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: Havelund reset filtrov +
Autor: Havelund Formal Approaches to Software Testing and Runtime Verification Havelund 2006 Model Checking Software Havelund 2008 SPIN Model Checking and Software Verification Havelund 2000 3 knižných titulov