Opis

• Tytuł:
  Temporal logic as a tool for program correctness analysis
• Twórca:
  Klimek, Radosław
• Współtwórca:
  Korbicz, Józef (1951- ) (Red.);
  Uciński, Dariusz (Red.)
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Biblioteka Uniwersytetu Zielonogórskiego
• Data:
  1992
• Typ:
  artykuł
• Język:
  angielski
• Źródło:
  AMCS, volume 2, number 2 (1992);
  https://www.amcs.uz.zgora.pl/?action=paper&paper=1305
• Wydawca:
  Zielona Góra: Uniwersytet Zielonogórski
• Temat i słowa kluczowe:
  sterowanie;
  sterowanie-teoria;
  sztuczna inteligencja;
  matematyka stosowana;
  informatyka
• Dostawca danych:
  Zielonogórska Biblioteka Cyfrowa
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  obrazy