По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "Лабиринт".
Using the button above you can buy paper versions of this book and similar books on the website of the "Labyrinth" online store.
Реклама. ООО "ЛАБИРИНТ.РУ", ИНН: 7728644571, erid: LatgCADz8.
Название:Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)
Автор:Hanne Riis Nielson, Flemming Nielson
Издательство:Springer
ISBN:1846286913
Дата издания:2007-03-28
Страниц:274
Язык:Английский
Формат:PDF
Размер: 2,3 MB
Semantics will play an important role in the future development of software systems and domain-specific languages. This book provides a needed introductory presentation of the fundamental ideas behind these approaches, stresses their relationship by formulating and proving the relevant theorems, and illustrates the applications of semantics in computer science. Historically important application areas are presented together with some exciting potential applications. The text investigates the relationship between various methods and describes some of the main ideas used, illustrating these by means of interesting applications. The book provides a rigorous introduction to the main approaches to formal semantics of programming languages.
Купить бумажную книгу или электронную версию книги и скачать