Normal view MARC view ISBD view

Rigorous development of complex fault-tolerant systems / Michael Butler ... [et al.] (eds.).

By: Workshop on Rigorous Engineering of Fault-tolerant Systems (2005 : Newcastle upon Tyne, England).
Contributor(s): Butler, Michael, 1967- | International Symposium of Formal Methods Europe (13th : 2005 : Newcastle upon Tyne, England).
Material type: TextTextSeries: Springer.Lecture notes in computer science: 4157.; LNCS sublibrarySL 2Programming and software engineering: Publisher: Berlin ; New York : Springer, c2006Description: 1 online resource (x, 402 p.) : ill.ISBN: 9783540482673 (ebook); 3540482679 (ebook); 9783540482659 (pbk.); 3540482652 (pbk.); 9786611389024; 6611389024.Other title: REFT 2005 [Also known as:].Subject(s): Fault-tolerant computing -- Congresses | Computer software -- Reliability -- Congresses | Electronic digital computers -- Reliability -- Congresses | Formal methods (Computer science) -- CongressesAdditional physical formats: Print version:: Rigorous development of complex fault-tolerant systems.LOC classification: QA76.9.F38 | W67 2006Online resources: Click here to view this ebook.
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Call number URL Status Date due Barcode
Electronic Book UT Tyler Online
Online
QA76.9.F38 W67 2006 (Browse shelf) http://ezproxy.uttyler.edu:2048/login?url=http://dx.doi.org/10.1007/11916246 Available ocn262693911

"A workshop on Rigorous Engineering of Fault Tolerant Systems, REFT 2005, was held in conjunction with the Formal Methods 2005 conference at Newcastle University"--Pref.

Includes bibliographical references and index.

Description based on print version record.

There are no comments for this item.

Log in to your account to post a comment.