skip to main
|
skip to sidebar
OURANOS
Τετάρτη 6 Φεβρουαρίου 2008
SINAIA SCHOOL ON FORMAL VERIFICATION OF SOFTWARE SYSTEMS
www.imar.ro/~diacon/sinaiaschool.html
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου
Νεότερη ανάρτηση
Παλαιότερη Ανάρτηση
Αρχική σελίδα
Εγγραφή σε:
Σχόλια ανάρτησης (Atom)
Αρχειοθήκη ιστολογίου
►
2009
(2)
►
Ιανουαρίου
(2)
▼
2008
(4)
►
Δεκεμβρίου
(1)
▼
Φεβρουαρίου
(2)
PhD thesis
SINAIA SCHOOL ON FORMAL VERIFICATION OF SOFTWARE S...
►
Ιανουαρίου
(1)
►
2007
(7)
►
Νοεμβρίου
(2)
►
Οκτωβρίου
(5)
Πληροφορίες
Ouranos
Προβολή πλήρους προφίλ
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου