Rezultaty 1 - 1 Rezultaty od 1 Dla wyszukiwania '"Model abstraction"', Czas wyszukiwania: 0,38s Redukuj rezultaty
1
Slicing execution with partial weakest precondition for model abstraction of C programs /
Hasła przedmiotowe: “...Model abstraction...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Dodaj do listy ulubionych książek
Zapisane w:
Narzędzie wyszukiwania: Abonuj RSS — Wyślij rezultaty emailem — Zapisz wyszukiwanie