Rigorous Development of Complex Fault-Tolerant Systems / Lecture Notes in Computer Science Bd.4157 (PDF)
This book brings together 19 papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems. It is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held...
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
This book brings together 19 papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems. It is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005.
- 2006, 2006, 406 Seiten, Englisch
- Herausgegeben: Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3540482679
- ISBN-13: 9783540482673
- Erscheinungsdatum: 23.11.2006
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Grösse: 5.50 MB
- Mit Kopierschutz
- Vorlesefunktion
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Rigorous Development of Complex Fault-Tolerant Systems / Lecture Notes in Computer Science Bd.4157".
Kommentar verfassen