113,95 €
113,95 €
inkl. MwSt.
Sofort per Download lieferbar
57 °P sammeln
113,95 €
Als Download kaufen
113,95 €
inkl. MwSt.
Sofort per Download lieferbar
57 °P sammeln
Jetzt verschenken
Alle Infos zum eBook verschenken
113,95 €
inkl. MwSt.
Sofort per Download lieferbar
Alle Infos zum eBook verschenken
57 °P sammeln
Andere Kunden interessierten sich auch für
![Network and Parallel Computing (eBook, PDF)]( "Network and Parallel Computing (eBook, PDF)")
Network and Parallel Computing (eBook, PDF)40,95 €![Architecture of Computing Systems - ARCS 2006 (eBook, PDF)]( "Architecture of Computing Systems - ARCS 2006 (eBook, PDF)")
Architecture of Computing Systems - ARCS 2006 (eBook, PDF)40,95 €![Euro-Par 2007 Workshops: Parallel Processing (eBook, PDF)]( "Euro-Par 2007 Workshops: Parallel Processing (eBook, PDF)")
Euro-Par 2007 Workshops: Parallel Processing (eBook, PDF)40,95 €![Network and Parallel Computing (eBook, PDF)]( "Network and Parallel Computing (eBook, PDF)")
Network and Parallel Computing (eBook, PDF)40,95 €![Formal Methods for Open Object-Based Distributed Systems (eBook, PDF)]( "Formal Methods for Open Object-Based Distributed Systems (eBook, PDF)")
Formal Methods for Open Object-Based Distributed Systems (eBook, PDF)40,95 €![Methods, Models and Tools for Fault Tolerance (eBook, PDF)]( "Methods, Models and Tools for Fault Tolerance (eBook, PDF)")
Methods, Models and Tools for Fault Tolerance (eBook, PDF)40,95 €![Architecture Design and Validation Methods (eBook, PDF)]( "Architecture Design and Validation Methods (eBook, PDF)")
Architecture Design and Validation Methods (eBook, PDF)40,95 €
Virtual Machines offers a unique insight into the building of virtual machines for sequential, object-oriented and parallel languages, and uses comparisons of different VMs to provide actual, practical examples on how to build VMs.
State transitions are used as a formal technique for the specification of virtual machines throughout and - in addition - transitions and state transitions relating to the general operation are included for specification of the virtual machine for the event-based system. Two virtual machines are defined using a simple sequential language, which is then generalised to include object and parallelism. Other themes explored include the implementation of VMs and proposals for future work. Appendices contain high-level specifications of two compilers: one for the simple language that serves as the basic example throughout the book, the other for the event-based language specified in Chapter 6.
This book is an essential reference tool for academic and industrial researchers as well as postgraduates in this area.
State transitions are used as a formal technique for the specification of virtual machines throughout and - in addition - transitions and state transitions relating to the general operation are included for specification of the virtual machine for the event-based system. Two virtual machines are defined using a simple sequential language, which is then generalised to include object and parallelism. Other themes explored include the implementation of VMs and proposals for future work. Appendices contain high-level specifications of two compilers: one for the simple language that serves as the basic example throughout the book, the other for the event-based language specified in Chapter 6.
This book is an essential reference tool for academic and industrial researchers as well as postgraduates in this area.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
From the reviews: "The author offers a unique insight into the building of virtual machines (VMs) for sequential, object-oriented and parallel languages, and uses comparisons of different VMs to provide practical examples on how to build VMs." (Stefan Meyer, Zentralblatt MATH, Vol. 1092 (18), 2006)