Virtual Machines
Iain D. Craig
Sold by Revaluation Books, Exeter, United Kingdom
AbeBooks Seller since January 6, 2003
New - Soft cover
Condition: New
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Add to basketSold by Revaluation Books, Exeter, United Kingdom
AbeBooks Seller since January 6, 2003
Condition: New
Quantity: 2 available
Add to basket250 pages. 9.21x6.14x0.71 inches. In Stock.
Seller Inventory # x-1849969809
Provides a unique insight into virtual machines via the comparison of different VMs as well as providing actual, practical examples on how to build VMs for sequential languages.
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.
"About this title" may belong to another edition of this title.
Legal entity name: Edward Bowditch Ltd
Legal entity form: Limited company
Business correspondence address: Exstowe, Exton, Exeter, EX3 0PP
Company registration number: 04916632
VAT registration: GB834241546
Authorised representative: Mr. E. Bowditch
Orders usually dispatched within two working days. Please note that at this time all domestic United Kingdom orders are sent by trackable UPS courier, we choose not to offer a lower cost alternative.
| Order quantity | 7 to 14 business days | 2 to 3 business days |
|---|---|---|
| First item | US$ 13.35 | US$ 33.38 |
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.