Formal Refinement for Operating System Kernels by Iain D. Craig.

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Craig, Iain D. (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	London : Springer London : Imprint: Springer, 2007.
Έκδοση:	1st ed. 2007.
Σειρά:	Springer eBook Collection.
Θέματα:	Software engineering. Electronic resources (E-books)
Διαθέσιμο Online:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Click to view e-book

Λεπτομέρειες τεκμηρίων από Online
Ταξιθετικός Αριθμός:	E-Book
Copy 1	Στη βιβλιοθήκη

Παρόμοια τεκμήρια