Books

7 works - Books.

"7" Result

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 sy…