Iain D. Craig – författare
Visar alla böcker från författaren Iain D. Craig. Handla med fri frakt och snabb leverans.
13 produkter
Programming in Dylan
E-bok, 2012
739 kr
Lägg i varukorg
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 takes the reader through the development of Dylan by Apple and introduces the concept of object oriented languages, …
Virtual Machines
E-bok, 2010
2174 kr
Lägg i varukorg
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. They have an element of original sin (writing assembly programs and being in control of an entire machine), while …
Formal Models of Operating System Kernels
Inbunden, 2006
1688 kr
Lägg i varukorg
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 in Z but left it because of other duties. In 2002, I worked on the sketches again but was interrupted. Finally, in …
Formal Models of Operating System Kernels
E-bok, 2007
2111 kr
Lägg i varukorg
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 in Z but left it because of other duties. In 2002, I worked on the sketches again but was interrupted. Finally, in …
Object-Oriented Programming Languages: Interpretation
Häftad, 2007
399 kr
Lägg i varukorg
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 crisis”. It has given the possibility that software components can be …
Object-Oriented Programming Languages: Interpretation
E-bok, 2007
504 kr
Lägg i varukorg
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 crisis”. It has given the possibility that software components can be …
Formal Refinement for Operating System Kernels
Inbunden, 2007
1128 kr
Lägg i varukorg
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, actually, quite easy, or so I have found thus far). Itisimportantforthereadertounderstandthatthere?nementscontained in this …
Formal Refinement for Operating System Kernels
E-bok, 2007
1502 kr
Lägg i varukorg
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, actually, quite easy, or so I have found thus far). Itisimportantforthereadertounderstandthatthere?nementscontained in this …
Formal Models of Operating System Kernels
Häftad, 2010
1692 kr
Lägg i varukorg
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 in Z but left it because of other duties. In 2002, I worked on the sketches again but was interrupted. Finally, in …
Formal Refinement for Operating System Kernels
Häftad, 2010
1128 kr
Lägg i varukorg
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, actually, quite easy, or so I have found thus far). Itisimportantforthereadertounderstandthatthere?nementscontained in this …
Virtual Machines
Häftad, 2013
1692 kr
Lägg i varukorg
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. They have an element of original sin (writing assembly programs and being in control of an entire machine), while …
Virtual Machines
Inbunden, 2005
1692 kr
Lägg i varukorg
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. They have an element of original sin (writing assembly programs and being in control of an entire machine), while …
Programming in Dylan
Häftad, 1996
569 kr
Lägg i varukorg
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 takes the reader through the development of Dylan by Apple and introduces the concept of object oriented languages, …
