A survey of input-output semantics and program verificationAndrzej Blikle
A survey of input-output semantics and program verification
4 biblioteki1 wydanie · 1979
Biblioteka Narodowa
Biblioteka Narodowa (Polska) · Warszawastanbardzo niski
Biblioteka Główna w Toruniu
Uniwersytet Mikołaja Kopernika w Toruniu · Toruństanbardzo niski
Biblioteka Uniwersytecka w Warszawie
Uniwersytet Warszawski · Warszawastanbardzo niski
Biblioteka Wydziału Matematyki, Informatyki i Mechaniki
Uniwersytet Warszawski · Warszawastanbardzo niski
Egzemplarze: Biblioteka Narodowa. Lokalizacje bibliotek m.in.: © współtwórcy OpenStreetMap.