Virtual Machines

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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Craig, Iain D. (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	London : Springer London, 2006.
Θέματα:	Computer science. Computer hardware. Software engineering. Programming languages (Electronic computers). Operating systems (Computers). Computer Science. Computer Hardware. Programming Languages, Compilers, Interpreters. Software Engineering/Programming and Operating Systems. Operating Systems.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Building Arduino Projects for the Internet of Things Experiments with Real-World Applications /
ανά: Javed, Adeel
Έκδοση: (2016)

Introduction to Assembly Language Programming For Pentium and RISC Processors /
ανά: Dandamudi, Sivarama P.
Έκδοση: (2005)

Introduction to Assembly Language Programming For Pentium and RISC Processors
ανά: Dandamudi, Sivarama P.
Έκδοση: (2005)

Embedded Software Development with C
ανά: Qian, Kai, κ.ά.
Έκδοση: (2009)

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 /
Έκδοση: (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 /
Έκδοση: (2014)

Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures /
Έκδοση: (2008)

Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures /
Έκδοση: (2005)

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /
Έκδοση: (2007)

Ada 2012 Rationale The Language, The Standard Libraries /
ανά: Barnes, John
Έκδοση: (2013)

Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E) /
Έκδοση: (2013)

Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers /
Έκδοση: (2006)

NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings /
Έκδοση: (2014)

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings /
Έκδοση: (2005)

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /
Έκδοση: (2013)

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings /
Έκδοση: (2008)

NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings /
Έκδοση: (2011)

Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures /
Έκδοση: (2009)

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /
Έκδοση: (2010)

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers /
Έκδοση: (2012)

NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings /
Έκδοση: (2012)

Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers /
Έκδοση: (2006)

Advanced Topics in Exception Handling Techniques
Έκδοση: (2006)

Methods, Models and Tools for Fault Tolerance
Έκδοση: (2009)

Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers /
Έκδοση: (2005)

Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings /
Έκδοση: (2008)

Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings /
Έκδοση: (2008)

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings /
Έκδοση: (2006)

Rigorous Development of Complex Fault-Tolerant Systems
Έκδοση: (2006)

Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Έκδοση: (2013)

Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday /
Έκδοση: (2014)

The JR Programming Language Concurrent Programming in an Extended Java /
ανά: Olsson, Ronald A., κ.ά.
Έκδοση: (2004)

C++ Game Development Primer
ανά: Sutherland, Bruce
Έκδοση: (2014)

The New PL/I … for PC, Workstation and Mainframe /
ανά: Sturm, Eberhard
Έκδοση: (2009)

Cryptography in C and C++
ανά: Welschenbach, Michael
Έκδοση: (2013)

Iterating Infusion Clearer Views of Objects, Classes, and Systems /
ανά: Anthony, Greg
Έκδοση: (2012)

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
Έκδοση: (2013)

Principles of the Spin Model Checker
ανά: Ben-Ari, Mordechai
Έκδοση: (2008)

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers /
Έκδοση: (2005)

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof /
ανά: Kovalev, Mikhail, κ.ά.
Έκδοση: (2014)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών