Hakutulokset: Kirjoja kirjailijalta Iain D. Craig
yhteensä 12 hakutulosta
Formal Models of Operating System Kernels
The work that this book represents is something I have wanted to do since 1979. While in Ireland, probably in 2001, I sketched some parts of a small operating system speci?cation …
Formal Refinement for Operating System Kernels
This book was written as a companion to my book on modelling operating system kernels. It is intended to demonstrate that the formal derivation of kernels is possible (and, …
Formal Refinement for Operating System Kernels
This book was written as a companion to my book on modelling operating system kernels. It is intended to demonstrate that the formal derivation of kernels is possible (and, …
Programming in Dylan
Programming in Dylan is aimed at programmers who are already familiar with languages such as Pascal or C but who, as yet, have no knowledge of object-oriented languages. The author …
Object-Oriented Programming Languages: Interpretation
1.1 Introduction Object-oriented programming has opened a great many perspectives on the concept of software and has been hailed as part of the solution to the so-called “software …
Formal Refinement for Operating System Kernels
This book was written as a companion to my book on modelling operating system kernels. It is intended to demonstrate that the formal derivation of kernels is possible (and, …
Formal Models of Operating System Kernels
The work that this book represents is something I have wanted to do since 1979. While in Ireland, probably in 2001, I sketched some parts of a small operating system speci?cation …
Virtual Machines
I love virtual machines (VMs) and I have done for a long time.If that makes me "sad" or an "anorak", so be it. I love them because they are so much fun, as well as being so useful. …
Virtual Machines
I love virtual machines (VMs) and I have done for a long time.If that makes me "e;sad"e; or an "e;anorak"e;, so be it. I love them because they are so much fun, as …
Object-Oriented Programming Languages: Interpretation
1.1 Introduction Object-oriented programming has opened a great many perspectives on the concept of software and has been hailed as part of the solution to the so-called …
Programming in Dylan
Programming in Dylan is aimed at programmers who are already familiar with languages such as Pascal or C but who, as yet, have no knowledge of object-oriented languages. The author …
Formal Models of Operating System Kernels
The work that this book represents is something I have wanted to do since 1979. While in Ireland, probably in 2001, I sketched some parts of a small operating system speci?cation …