|
|
libcats.org
Logic in computer science: modelling and reasoning about systemsMichael Huth, Mark Ryan, M. Huth, M. RyanIn recent years, powerful tools for verifying hardware and software systems have been developed. Major companies, such as Intel, Siemens, BT, AT&T, and IBM have increasingly become interested in that technology. Students need a basic formal training that allows them to gain sufficient proficiency in using logic-based verification methods. This book addresses these needs by providing a sound basis in logic and an introduction to the logical frameworks used in modeling, specifying and verifying computer systems. Coverage provides a simple and clear presentation, detailing propositional and predicate logic as well as some specialized logics used for reasoning about the correctness of computer systems. The authors introduce a carefully chosen core of essential terminology; further technicalities are introduced only where they are required by the applications. Numerous examples are given, as well as a full exposition of a fast-growing technique for modeling and verifying computer systems, known as symbolic model checking. It will be an ideal introduction for undergraduate students. A worldwide web tutorial that supports the course activities and provides solutions to the sample exercises is available to instructors.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
М.А.Шабад. Защита генераторов малой и средней мощности ("Библиотечка электотехника" #28) (djvu)Автор:
Размер книги: 1.45 Mb
Self-Organizing Systems: First International Workshop, IWSOS 2006 and Third International Workshop on New Trends in Network Architectures andАвтор: Hermann De Meer, Автор: James P.G. Sterbenz
Размер книги: 5.59 Mb
Edward Said: A Legacy of Emancipation and RepresentationАвтор: Adel Iskandar, Автор: Hakem Rustom
Размер книги: 5.35 Mb
File for Divorce in Washington (Legal Survival Guides)Автор: Haman, Автор: RichardsonКатегория: Физкультура и спорт, Выживание
Размер книги: 11.35 Mb
Tradition, interpretation, and science: political theory in the American academyАвтор: John S. Nelson
Размер книги: 773 Kb
Facing the East in the West: Images of Eastern Europe in British Literature, Film and Culture. (Internationale Forschungen Zur Allgemeinen Und Vergleichenden Literaturwissenschaft)Автор: Barbara Korte, Автор: Eva Ulrike Pirker, Автор: Sissy Helff
Размер книги: 5.46 Mb
|
|
|