Formal verification of logic controller specification bt means of model checking
Grobelna, Iwona
2013
Zielona Góra : University of Zielona Góra Press, 2013
Formal verification of logic controller specification bt means of model checking / Iwona Grobelna. - Zielona Góra : University of Zielona Góra Press, 2013.
Report from the project Conservation and restoration of xerithermic grasslands in Poland - theory and practice LIFE08 NAT/PL/513
Od Cranacha do Picassa : Kolekcja Santander
Między Majdanem a Smoleńskiem
Wyliczanki z pustej szklanki
Zemsta : [komedia]
Zaloguj się, żeby dodać recenzję.