Correct System Design Recent Insights and Advances / edited by Ernst-Rüdiger Olderog, Bernhard Steffen.

Computers are gaining more and more controle over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is of paramount importance that systems controled by a computer or computing systems themselves reliably...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Olderog, Ernst-Rüdiger (Editor), Steffen, Bernhard (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
Edition:1st ed. 1999.
Series:Lecture Notes in Computer Science, 1710
Springer eBook Collection.
Subjects:
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.