Rezultaty 1 - 1 Rezultaty od 1 Dla wyszukiwania 'Cook, Byron', Czas wyszukiwania: 0,02s Redukuj rezultaty
1
Verification, Model Checking, and Abstract Interpretation
od Cook, Byron, Podelski, Andreas
Wydane 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Dokumenty pełnotekstowe
Dodaj do listy ulubionych książek
Zapisane w:
Narzędzie wyszukiwania: Abonuj RSS — Wyślij rezultaty emailem