Formal Refinement for Operating System Kernels

Formal Refinement for Operating System Kernels

Bibliographic Details
Published in:	Springer e-books
Main Author:	Craig, Iain D.
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	London : Springer-Verlag London Ltd, 2007
Subjects:	Software engineering Computer Science Software Engineering/Programming and Operating Systems
Online Access:	http://dx.doi.org/10.1007/978-1-84628-967-5 Перейти в каталог НБ ТГУ

Similar Items

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

Open Source Development, Adoption and Innovation IFIP Working Group 2.13 on Open Source Software, June 11вЂ"14, 2007, Limerick, Ireland /
by: Feller, Joseph
Published: (2007)

Pro Active Record Databases with Ruby and Rails /
by: Marshall, Kevin
Published: (2007)

Smart and Gets Things Done Joel SpolskyвЂ™s Concise Guide to Finding the Best Technical Talent /
by: Spolsky, Joel
Published: (2007)

Painless Project Management with FogBugz
by: Gunderloy, Mike
Published: (2007)

Practical Distributed Processing
by: Brooke, Phillip J.
Published: (2007)

Expert SQL Server 2005 Development
by: Machanic, Adam
Published: (2007)

Advanced Software Engineering: Expanding the Frontiers of Software Technology IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile /
by: Ochoa, Sergio F.
Published: (2006)

Beginning Java EE 5 From Novice to Professional /
by: Mukhar, Kevin
Published: (2006)

Painless Project Management with FogBugz
by: Gunderloy, Mike
Published: (2005)

Pro Eclipse JST Plug-ins for J2EE Development /
by: Judd, Christopher M.
Published: (2005)

Beginning Java Objects From Concepts to Code /
by: Barker, Jacquie
Published: (2005)

Pro Spring
by: Harrop, Rob
Published: (2005)

Shell Scripting Recipes A Problem-Solution Approach /
by: Johnson, Chris F. A.
Published: (2005)

Pro OpenSSH
by: Stahnke, Michael
Published: (2006)

Beginning Databases with PostgreSQL From Novice to Professional /
by: Matthew, Neil
Published: (2005)

Building Online Communities with Drupal, phpBB, and WordPress
by: Douglass, Robert T.
Published: (2006)

Open Source Messaging Application Development Building and Extending Gaim /
by: Egan, Sean
Published: (2005)

Micro-ISV From Vision to Reality /
by: Walsh, Bob
Published: (2006)

Pro Oracle Application Express
by: Scott, John Edward
Published: (2008)

Excel Pivot Tables Recipe Book A Problem-Solution Approach /
by: Dalgleisch, Debra
Published: (2006)

Practical Enterprise Software Development Techniques Tools and Techniques for Large Scale Solutions /
by: Crookshanks, Edward
Published: (2015)

Develop on Yammer Social Integration for Modern Business Applications /
by: Rawal, Pathik, et al.
Published: (2015)

Java Threads and the Concurrency Utilities
by: Friesen, Jeff
Published: (2015)

Agile Product Development How to Design Innovative Products That Create Customer Value /
by: Varma, Tathagat
Published: (2015)

Agile Software Construction
by: Hunt, John
Published: (2006)

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

Scala Design Patterns Patterns for Practical Reuse and Design /
by: Hunt, John
Published: (2013)

The Coder's Path to Wealth and Independence
by: Beckner, Mark
Published: (2014)

Unboxing Android USB A Hands-On Approach with Real World Examples /
by: Regupathy, Rajaram
Published: (2014)

Game Development Tool Essentials
by: Ardolino, Alessandro, et al.
Published: (2014)

Hardening Azure Applications
by: Machiraju, Suren, et al.
Published: (2015)

Pro HTML5 with Visual Studio 2015
by: Collins, Mark J.
Published: (2015)

Visual Studio LightSwitch 2015
by: Leung, Tim
Published: (2015)

Continuous Delivery with Visual Studio ALM 2015
by: Olausson, Mathias, et al.
Published: (2015)

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

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

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

The Definitive Guide to SOA: BEA AquaLogicВ® Service Bus
by: Davies, Jeff
Published: (2007)

Pro Apache Tomcat 6
by: Moodie, Matthew
Published: (2007)