Correct System Design: Recent Insights and Advances (книга)
Correct System Design: Recent Insights and Advances | |
Автор: | Bernhard Steffen G. Goos J. Hartmanis J. Van Leeuwen B. Steffen E. R. Olderog |
---|---|
Оригинал издан: | ???? |
«Correct System Design: Recent Insights and Advances» — книга ???? года.
Содержание |
Содержание
От издателя
«Computers are gaining more and more control 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…»