Predložene teme unutar tvog pretraživanja.
Prikaz rezultata 1 – 1 od 1 za pretraživanje '"SPIN (Computer file)"', vrijeme pretraživanja: 0,09s Detaljiziraj rezultate
1
Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
Izdano 2001
Teme: “...SPIN (Computer file) Congresses....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Spremi u popis
Spremljeno u:
Alati za pretraživanje: Preuzmi RSS sažetak — Pošalji ovo pretraživanje e-poštom — Spremi pretraživanje