Virtual Machines
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 specificati...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | Craig, Iain D. (Autor) |
Autor Corporativo: | SpringerLink (Online service) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
London :
Springer London : Imprint: Springer,
2006.
|
Edición: | 1st ed. 2006. |
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers /
Publicado: (2012) -
SDL 2013: Model Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings /
Publicado: (2013) -
Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Publicado: (2014) -
Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings /
Publicado: (2013) -
Ada 2012 Rationale The Language -- The Standard Libraries /
por: Barnes, John
Publicado: (2013)