Formal verification of logic controller specification by means of model checkingIwona Grobelna
Formal verification of logic controller specification by means of model checking
9 bibliotek1 wydanie · 2013
Biblioteka Jagiellońska
Uniwersytet Jagielloński · Krakówstanbardzo niski
Biblioteka Narodowa
Biblioteka Narodowa (Polska) · Warszawastanbardzo niski
Biblioteka Główna KUL
Katolicki Uniwersytet Lubelski Jana Pawła II · Lublinstanbardzo niski
Biblioteka Główna Uniwersytetu Gdańskiego
Uniwersytet Gdański · Gdańskstanbardzo niski
Biblioteka Główna w Toruniu
Uniwersytet Mikołaja Kopernika w Toruniu · Toruństanbardzo niski
Biblioteka na Koszykowej
Biblioteka Publiczna m.st. Warszawy - Biblioteka Główna Województwa Mazowieckiego · Warszawastanbardzo niski
Biblioteka Nauk Ścisłych, Przyrodniczych i Medycznych
Uniwersytet Opolski · Opolestanbardzo niski
Biblioteka Uniwersytecka w Warszawie
Uniwersytet Warszawski · Warszawastanbardzo niski
Książnica Pomorska
Książnica Pomorska im. Stanisława Staszica w Szczecinie · Szczecinstanbardzo niski
Egzemplarze: Biblioteka Narodowa. Lokalizacje bibliotek m.in.: © współtwórcy OpenStreetMap.