logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Methods, Models and Tools for Fault Tolerance - Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna
Add cover
Methods, Models and Tools for Fault Tolerance
by: (author) (author) (author) (author)
Format: paperback
ISBN: 9783642008665 (3642008666)
Publisher: Springer
Pages no: 343
Edition language: English
Bookstores:
Books by Michael Butler
Introduction to Organisational Behaviour - Michael Butler
Heyday: That Shocking Novel of New York's Lavender Underground - Michael Butler, Arbor Books
Abstract State Machines, B and Z - Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
Theological Bootcamp - Douglas W. Phillips, Ken Gentry, Michael Butler, Jeff Pollard
Heresies of the Way - Michael Butler, Geoffrey C. Grabowski, Steve Kenson
Integrated Formal Methods: Third Interna... Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. (Lecture Notes in Computer Science) - Michael Butler, Luigia Petre, Kaisa Sere
Rigorous Development of Complex Fault-Tolerant Systems - Michael Butler
Once a Noble Endeavor - Michael Butler Once a Noble Endeavor - Michael Butler
Legacy: The West And The World - Garfiel... Legacy: The West And The World - Garfield Newman, Michael Butler
The Narrative Fiction Of Heinrich Böll:... The Narrative Fiction Of Heinrich Böll: Social Conscience, And Literary Achievement - Michael Butler
Books by Alexander Romanovsky
Industrial Deployment of System Engineering Methods - Alexander Romanovsky, Martyn Thomas
Architecting Dependable Systems IV (Lect... Architecting Dependable Systems IV (Lecture Notes in Computer Science / Programming and Software Engineering) - Rogxe9rio de Lemos, Cristina Gacek, Alexander Romanovsky
Advances in Exception Handling Techniques - Alexander Romanovsky, Christophe Dony, Jorgen Lindskov Knudsen
Concurrency in Dependable Computing - Paul Ezhilchelvan, Alexander Romanovsky
Scientific Engineering of Distributed Ja... Scientific Engineering of Distributed Java Applications: 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, ... / Programming and Software Engineering) - Nicolas Guelfi, Gianna Reggio, Alexander Romanovsky
Architecting Dependable Systems III (Lec... Architecting Dependable Systems III (Lecture Notes in Computer Science / Programming and Software Engineering) - Rogxe9rio de Lemos, Cristina Gacek, Alexander Romanovsky
Advanced Topics in Exception Handling Techniques - Christophe Dony, Jorgen Lindskov Knudsen, Alexander Romanovsky
Methods, Models and Tools for Fault Tole... Methods, Models and Tools for Fault Tolerance - Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna
Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications (Lecture Notes in Computer Science / Programming and Software Engineering) - Ricardo Choren, Alessandro Garcia, Carlos Lucena, Alexander Romanovsky
Architecting Dependable Systems II (Lect... Architecting Dependable Systems II (Lecture Notes in Computer Science) - Rogxe9rio de Lemos, Cristina Gacek, Alexander Romanovsky
Books by Cliff B. Jones
5th Refinement Workshop - Cliff B. Jones, Roger C. Shaw, Tim Denvir
Reflections on the Work of C.A.R. Hoare - A.W. Roscoe, Cliff B. Jones, Kenneth Wood
Communicating Sequential Processes. The ... Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers ... Computer Science and General Issues) - Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders
Systematic Software Development Using Vd... Systematic Software Development Using Vdm - Cliff B. Jones
Formal Methods and Hybrid Real-Time Syst... Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays - Cliff B. Jones, Zhiming Liu, Jim Woodcock
VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings - Dines Bjorner, Erich J. Neuhold, Cliff B. Jones, Michael Mac An Airchinnigh
Dependable and Historic Computing: Essay... Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday - Cliff B. Jones, John L. Lloyd
Case Studies In Systematic Software Deve... Case Studies In Systematic Software Development - Cliff B. Jones
Essays In Computing Science - C.A.R. Hoa... Essays In Computing Science - C.A.R. Hoare, Cliff B. Jones
Programming Languages and Their Definition - Hans Bekic, Cliff B. Jones
Books by Elena Troubitsyna
Methods, Models and Tools for Fault Tole... Methods, Models and Tools for Fault Tolerance - Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna
Share this Book
Copyright © 2024 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.