LIBROS DEL AUTOR: iain craig

6 resultados para LIBROS DEL AUTOR: iain craig

iain craig Eliminar filtro Quitar filtros
  • Virtual Machines
    Iain D. Craig
    VMs for Portability: BCPL.- The Java Virtual Machine.- DIY VMs.- More Stack-Based VMs.- Case Study: An Event-Driven Language.- Register-Based Machines.- Implementation Techniques.- Open Issues. ...
    Disponible

    207,70 €

  • Formal Refinement for Operating System Kernels
    Iain D. Craig
    The kernel of any operating system is its most critical component, as the rest of the system depends on it. This book shows how the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. This formal refinement process ensures that the code precisely meets the specifica...
    Disponible

    206,20 €

  • Formal Models of Operating System Kernels
    Iain D. Craig
    Operating systems kernels are central to the functioning of computers. Security of the overall system, as well as its reliability and responsiveness, depend upon the correct functioning of the kernel. This unique approach - presenting a formal specification of a kernel - starts with basic constructs and develops a set of kernels; proofs are included a...
    Disponible

    219,72 €

  • Object-Oriented Programming Languages
    Iain D. Craig
    This comprehensive examination of the main approaches to object-oriented language explains key features of the languages in use today. Class-based, prototypes and Actor languages are all examined and compared in terms of their semantic concepts. This book provides a unique overview of the main approaches to object-oriented languages. Exercises of vary...
    Disponible

    54,12 €

  • The Interpretation of Object-Oriented Programming Languages
    Iain Craig
    While there are many books on particular languages, there are very few that deal with all aspects of object-oriented programming languages. The Interpretation of Object-Oriented Programming Languages provides a comprehensive treatment of the main approaches to object-oriented languages, including class-based, prototype and actor languages. This revise...
    Disponible

    66,22 €

  • Programming in Dylan
    Iain D. Craig
    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, comparing Dylan to other languages such as CLOS, Smallta...
    Disponible

    66,40 €