Virtual machines /

In this book 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 mac...

Full description

Bibliographic Details

Main Author:	Craig, I.
Format:	eBook
Language:	English
Published:	London : Springer-Verlag, [2006]
Subjects:	Virtuelle Maschine. Virtual computer systems. Computer Science / IT. Electronic books.
Online Access:	Connect to the full text of this electronic book