Verlag Springer Londonletzte lieferbare Neuerscheinungen: Virtual Machines Iain D. CraigSpringer LondonSoftcover2013 Programming in Dylan Iain D. CraigSpringer LondoneBook2012Iain D. Craig × Virtual Machines Iain D. CraigSpringer LondonSoftcover2013 Programming in Dylan Iain D. CraigSpringer LondoneBook2012 Formal Models of Operating System Kernels Iain D. CraigSpringer LondonSoftcover2010 Formal Refinement for Operating System Kernels Iain D. CraigSpringer LondonSoftcover2010 Virtual Machines Iain D. CraigSpringer LondoneBook2010 Formal Refinement for Operating System Kernels Iain D. CraigSpringer LondonHardcover2007 Formal Refinement for Operating System Kernels Iain D. CraigSpringer LondoneBook2007 Object-Oriented Programming Languages: Interpretation Iain D. CraigSpringer LondoneBook2007 Object-Oriented Programming Languages: Interpretation Iain D. CraigSpringer LondonSoftcover2007 Formal Models of Operating System Kernels Iain D. CraigSpringer LondoneBook200712 Treffer 1 2