Электронные книги


Последние комментарии
От партнёров
Облако тегов

АппаратураCorrect System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

Название: Correct System Design: Recent Insights and Advances
Издательство: Springer
Автор: Ernst-Rudiger Olderog, Bernhard Steffen
Год: 1999
Количество страниц: 431
Формат: PDF
Размер: 6 mb
Язык: English

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 computer or computing systems themselves reliably behave in accordance with the specification and requirements, in other words: here correctness of the system, of its software and hardware is crucial. In order to cope with this callenge, software engineers and computer scientists need to understand the foundations of programming, how different formal theories are linked together, how compilers correctly translate high-level programs into machine code, and why transformations performed are justifiable. This book presents 17 mutually reviewed invited papers organized in sections on methodology, programming, automation, compilation, and application.

Нажмите для скачивания Correct+System+Design.pdf!Correct+System+Design.pdf
Размер: 5.42 Mb(cкачиваний: 0)

Похожие книги


Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.

  • Valid XHTML 1.0 Transitional