Skip to content
Library Home
Start Over
Research Databases
E-Journals
Course Reserves
Library Home
Login to library account
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Language
Library Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced Search
|
Browse
|
Search Tips
Formal Refinement for Operatin...
Cite this
Text this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Save to List
Permanent link
Formal Refinement for Operating System Kernels by Iain D. Craig.
Saved in:
Bibliographic Details
Main Author:
Craig, Iain D.
(Author)
Corporate Author:
SpringerLink (Online service)
Format:
eBook
Language:
English
Published:
London :
Springer London : Imprint: Springer,
2007.
Edition:
1st ed. 2007.
Series:
Springer eBook Collection.
Subjects:
Software engineering.
Electronic resources (E-books)
Online Access:
Click to view e-book
Holy Cross Note:
Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Holdings
Description
Table of Contents
Similar Items
Staff View
Similar Items
Formal Models of Operating System Kernels
by: Craig, Iain D.
Published: (2007)
Refinement Semantics, Languages and Applications
by: Derrick, John, et al.
Published: (2018)
Linux Kernel Networking Implementation and Theory
by: Rosen, Rami
Published: (2014)
Program Development by Refinement Case Studies Using the B Method
Published: (1999)
Refinement in Z and Object-Z Foundations and Advanced Applications
by: Derrick, John, et al.
Published: (2014)
Refinement in Z and Object-Z Foundations and Advanced Applications
by: Derrick, John, et al.
Published: (2001)
Abstraction, Refinement and Proof for Probabilistic Systems
by: McIver, Annabelle, et al.
Published: (2005)
4th Refinement Workshop Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9–11 January 1991, Cambridge
Published: (1991)
5th Refinement Workshop Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992
Published: (1992)
UNIX Operating System The Development Tutorial via UNIX Kernel Services
by: Liu, Yukun, et al.
Published: (2011)
Fundamentals of Operating Systems
by: LISTER, A.
Published: (1993)
Formal Methods An Appetizer
by: Nielson, Flemming, et al.
Published: (2019)
mural: A Formal Development Support System
by: Jones, C.B, et al.
Published: (1991)
Formal Methods in Systems Engineering
Published: (1993)
Formal Specification Using Z
by: Lightfoot, David
Published: (1991)
Formal Systems Specification The RPC-Memory Specification Case Study
Published: (1996)
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
by: Bollig, Benedikt
Published: (2006)
Formal Methods in Standards A Report from the BCS Working Group
Published: (1990)
Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Published: (2013)
Formal Methods for Embedded Distributed Systems How to master the complexity
Published: (2004)
Formal Foundations for Software Engineering Methods
by: Hußmann, Heinrich
Published: (1997)
Formal Specification Techniques and Applications
by: Nissanke, Nimal
Published: (1999)
Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings
Published: (2014)
Formal Techniques for Networked and Distributed Systems FORTE 2001
Published: (2001)
Fundamentals of Operating Systems
by: LISTER
Published: (1984)
Formal Object-Oriented Development
by: Lano, Kevin
Published: (1995)
The Use of Formal Specification of Software June 25–27, 1979, Berlin
Published: (1980)
Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures
Published: (2011)
Formal Aspects of Measurement Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991
Published: (1992)
Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
Published: (2015)
Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Published: (2009)
Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings
Published: (2016)
A Practical Course on Operating Systems
by: Theaker, Colin J., et al.
Published: (1983)
Formal Development of Reactive Systems Case Study Production Cell
Published: (1995)
VLSI Synthesis of DSP Kernels Algorithmic and Architectural Transformations
by: Mehendale, Mahesh, et al.
Published: (2001)
Industrial-Strength Formal Methods in Practice
Published: (1999)
Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
Published: (2014)
Descriptional Complexity of Formal Systems 13 International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings
Published: (2011)
Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings
Published: (2012)
Formalization of Programming Concepts International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings
Published: (1981)
Prev
Next
Similar Items
Formal Models of Operating System Kernels
by: Craig, Iain D.
Published: (2007)
Refinement Semantics, Languages and Applications
by: Derrick, John, et al.
Published: (2018)
Linux Kernel Networking Implementation and Theory
by: Rosen, Rami
Published: (2014)
Program Development by Refinement Case Studies Using the B Method
Published: (1999)
Refinement in Z and Object-Z Foundations and Advanced Applications
by: Derrick, John, et al.
Published: (2014)