Virtual Machines

Virtual Machines

Saved in:

Bibliographic Details
Main Author:	Craig, Iain D. (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	London Springer 2006.
Subjects:	Computer science Software engineering Operating systems (Computers)
Online Access:	Click here to view the full text content
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formal models of operating system kernels /
by: Craig, Iain D.
Published: (2007)

Formal refinement for operating system kernels /
by: Craig, Iain D.
Published: (2007)

Formal refinement for operating system kernels /
by: Craig, Iain D.
Published: (2007)

Dependable networks and services : 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012. Proceedings /
Published: (2012)

Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
Published: (2005)

Ada 2012 reference manual. Language andsStandard libraries : international standard ISO/IEC 8652/2012 (E) /
Published: (2013)

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 /
Published: (2013)

Aliasing in object-oriented programming. types, analysis and verification /
Published: (2013)

Innovative technologies for dependable OTS-Based Critical Systems : Challenges and Achievements of the CRITICAL STEP Project /
Published: (2013)

Component-based software engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings /
Published: (2009)

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 /
Published: (2014)

Network + virtual lab
by: Lammle, Todd
Published: (2002)

Network + virtual lab
by: Lammle, Todd
Published: (2002)

Web Component Development with Zope 3
by: Weitershausen, Philipp
Published: (2005)

Web dynpro ABAP for practitioners /
by: Gellert, Ulrich, et al.
Published: (2013)

Web dynpro ABAP for practitioners
by: Gellert, Ulrich
Published: (2010)

E-Government Ict Professionalism and Competences Service Science
Published: (2008)

Languages and compilers for parallel computing : 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers /
Published: (2013)

Architecting dependable systems III /

Component-based software development for embedded systems : an overview of current research trends /

Evaluating AAL systems through competitive benchmarking. Indoor localization and tracking International Competition, EvAAL 2011, Competition in Valencia, Spain, July 25-29, 2011, and Final Workshop in Lecce, Italy, September 26, 2011. Revised Selected Papers /
Published: (2012)

Multicore software engineering, performance, and tools : International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings /
Published: (2013)

Multicore software engineering, performance, and tools : International conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings /
Published: (2012)

Advances in grid and pervasive computing : 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings /
Published: (2012)

Virtual, Distributed and Flexible Organisations Studies in Organisational Semiotics /
by: Liu, Kecheng
Published: (2005)

Virtual storytelling. Using virtual reality technologies for storytelling : Third International Conference, VS 2005, Strasbourg, France, November 30-December 2, 2005, Proceedings

Virtual storytelling. using virtual reality technologies for storytelling : 4th International Conference, ICVS 2007, Saint-Malo, France, December 5-7, 2007. Proceedings /
Published: (2007)

Construction and analysis of safe, secure, and interoperable smart devices (vol. # 3362) international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, revised selected papers
by: Barthe, Gilles
Published: (2005)

Software verification and validation : an engineering and scientific approach /
by: Fisher, Marcus S.

Formal methods for components and objects 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. revised selected papers /
Published: (2010)

Formal methods for components and objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers /
Published: (2012)

Multiparadigm programming in mozart second international conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, revised selected papers
by: Van Roy, Peter
Published: (2005)

Programming languages and systems : 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings /
Published: (2007)

NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /
Published: (2013)

Formal methods for components and objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
Published: (2013)

Component deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings
Published: (2005)

Programming languages and systems (vol. # 3780) : Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

NASA formal methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings /
Published: (2014)

Formal methods for components and objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures /

NASA formal methods : 4th International symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings /
Published: (2012)