skip to main | skip to sidebar

OURANOS

Τετάρτη 6 Φεβρουαρίου 2008

SINAIA SCHOOL ON FORMAL VERIFICATION OF SOFTWARE SYSTEMS

www.imar.ro/~diacon/sinaiaschool.html
Αναρτήθηκε από Ouranos στις 3:59 π.μ.

Δεν υπάρχουν σχόλια:

Δημοσίευση σχολίου

Νεότερη ανάρτηση Παλαιότερη Ανάρτηση Αρχική σελίδα
Εγγραφή σε: Σχόλια ανάρτησης (Atom)

Αρχειοθήκη ιστολογίου

  • ►  2009 (2)
    • ►  Ιανουαρίου (2)
  • ▼  2008 (4)
    • ►  Δεκεμβρίου (1)
    • ▼  Φεβρουαρίου (2)
      • PhD thesis
      • SINAIA SCHOOL ON FORMAL VERIFICATION OF SOFTWARE S...
    • ►  Ιανουαρίου (1)
  • ►  2007 (7)
    • ►  Νοεμβρίου (2)
    • ►  Οκτωβρίου (5)

Πληροφορίες

Η φωτογραφία μου
Ouranos
Προβολή πλήρους προφίλ