Rigorous development of complex fault-tolerant systems

Contributor(s): | Butler, Michael...[et al.] | Butler, Michael...[et al.]Language: English Series: Lecture notes in computer science ; v. 4157Publication details: Berlin ; Springer ; 2006Edition: Description: x,403 p; 23.5 cmISBN: 978-3-540-48265-9Subject(s): | Computer Science and Engineering | Fault-tolerant computing-Congresses , Computer software-Reliability-Congresses , Electronic digital computers -Reliability-Congresses ,Formal methods(Computer science)-Congresses
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Notes Date due Barcode Item holds
Books Books Central Library, IITB
Compact Storage - Basement Area 		681.3.06:519.28Rig Available G56A09 217195
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha