Formal Models of Operating System Kernels

Formal Models of Operating System Kernels

Show other versions (1)

Bibliographic Details
Main Author:	Craig, Iain D.
Format:	Electronic Kit Book
Language:	English
Published:	London Springer-Verlag London Limited 2007
Subjects:	Operating systems (Computers) Software engineering Computational complexity Computer science Computer Science Operating Systems Software Engineering Discrete Mathematics in Computer Science Επιστήμη των υπολογιστών > Μαθηματικά
Online Access:	http://dx.doi.org/10.1007/978-1-84628-718-3

Similar Items

Open Source Systems IFIP Working Group 2.13 Foundation on Open Source Software, June 8β10, 2006, Como, Italy
by: Damiani, Ernesto
Published: (2006)

Validated Designs for Object-oriented Systems
by: Fitzgerald, John
Published: (2005)

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
by: Boer, Frank S.
Published: (2010)

Job Scheduling Strategies for Parallel Processing 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers
by: Frachtenberg, Eitan
Published: (2010)

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings
by: Ding, Chen
Published: (2010)

Mathematical Approaches to Software Quality
by: OβRegan, Gerard
Published: (2006)

Bioinspired Models of Network, Information, and Computing Systems 4th International Conference, BIONETICS 2009, Avignon, France, December 9-11, 2009, Revised Selected Papers
by: Altman, Eitan
Published: (2010)

Analyzing Computer System Performance with Perl::PDQ
by: Gunther, Neil J.
Published: (2005)

Web Dynpro ABAP for Practitioners
by: Gellert, Ulrich
Published: (2010)

Mechanisms for Autonomous Management of Networks and Services 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, Zurich, Switzerland, June 23-25, 2010. Proceedings
by: Stiller, Burkhard
Published: (2010)

Advances in Grid and Pervasive Computing 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010. Proceedings
by: Bellavista, Paolo
Published: (2010)

Distributed Event-Based Systems
by: MΓΌhl, Gero
Published: (2006)

Security and Privacy in Communication Networks 6th Iternational ICST Conference, SecureComm 2010, Singapore, September 7-9, 2010. Proceedings
by: Jajodia, Sushil
Published: (2010)

Applications of Evolutionary Computation EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part II
by: Chio, Cecilia
Published: (2010)

Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
by: Brueckner, Sven A.
Published: (2007)

Mathematical Software β ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
by: Fukuda, Komei
Published: (2010)

Pervasive Computing 8th International Conference, Pervasive 2010, Helsinki, Finland, May 17-20, 2010. Proceedings
by: FlorΓen, Patrik
Published: (2010)

Distributed Computing in Sensor Systems 6th IEEE International Conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010. Proceedings
by: Rajaraman, Rajmohan
Published: (2010)

Soft Real-Time Systems Predictability vs. Efficiency
by: Buttazzo, Giorgio C.
Published: (2005)

Architecture of Computing Systems - ARCS 2010 23rd International Conference, Hannover, Germany, February 22-25, 2010. Proceedings
by: MΓΌller-Schloer, Christian
Published: (2010)

New Horizons of Parallel and Distributed Computing
by: Guo, Minyi
Published: (2005)

High Performance Computing and Applications Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers
by: Zhang, Wu
Published: (2010)

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

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

HPC@Green IT Green High Performance Computing Methods
by: Gruber, Ralf
Published: (2010)

Expert Oracle
by: Kyte, Thomas
Published: (2005)

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows
by: Prodan, Radu
Published: (2007)

Enterprise Service Oriented Architectures Concepts, Challenges, Recommendations
by: McGovern, James
Published: (2006)

Beginning Ubuntu Linux
by: Raggi, Emilio
Published: (2010)

Beginning Microsoft Excel 2010
by: Katz, Abbbott
Published: (2010)

Internet and Network Economics 6th International Workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010. Proceedings
by: Saberi, Amin
Published: (2010)

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
by: Abramsky, Samson, 1953-
Published: (2010)

Mobile Lightweight Wireless Systems Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers
by: Chatzimisios, Periklis
Published: (2010)

High Availability and Disaster Recovery Concepts, Design, Implementation
by: Schmidt, Klaus
Published: (2006)

Thriving Systems Theory and Metaphor-Driven Modeling
by: Waguespack, Leslie J
Published: (2010)

Recent Trends in Wireless and Mobile Networks Second International Conference, WiMo 2010, Ankara, Turkey, June 26-28, 2010. Proceedings
by: Γzcan, Abdulkadir
Published: (2010)

Distributed Applications and Interoperable Systems 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
by: Eliassen, Frank
Published: (2010)

Composing Software Components A Software-testing Perspective
by: Hamlet, Dick
Published: (2010)

Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
by: Lee, Der-Tsai
Published: (2010)

Formal Models of Operating System Kernels
by: Craig, Iain D.
Published: (2007)

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