Formal Refinement for Operating System KernelsIain D. Craig
Formal Refinement for Operating System Kernels
Iain D. Craig · 2007
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2007
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 3
- עמודים
- 336
- ISBN
- 9781846289668
מקור הנתונים: Wikidata
עוד של Iain D. Craig
Virtual MachinesIain D. Craig
Virtual Machines
Iain D. Craig · 2005
Object-Oriented Programming LanguagesIain D. Craig
Object-Oriented Programming Languages
Iain D. Craig · 2007
Formal Models of Operating System KernelsIain D. Craig
Formal Models of Operating System Kernels
Iain D. Craig · 2006
Programming in DylanIain D. Craig
Programming in Dylan
Iain D. Craig · 1997
Formal Specification of Advanced Ai ArchitecturesIain D. Craig
Formal Specification of Advanced Ai Architectures
Iain D. Craig · 1991
Jahreslohnsteuertabelle 2003Iain D. Craig
Jahreslohnsteuertabelle 2003
Iain D. Craig · 2002
Formal Specification of Advanced AI ArchitecturesIain D. Craig
Formal Specification of Advanced AI Architectures
Iain D. Craig · 1991