Đang hiển thị 1 - 2 kết quả của 2 cho tìm kiếm 'Veith, Helmut', Forespørselstid: 0.03s Tinh chỉnh kết quả
1
25 Years of Model Checking
af Grumberg, Orna, Veith, Helmut
Udgivet 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Få fuldtekst
Føj til favoritter
Đã lưu trong:
2
Handbook of Model Checking
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Få fuldtekst
Føj til favoritter
Đã lưu trong:
Søgeredskaber: ”Modtag RSS Feed — Email denne søgning