Дэвид Ватт (ученый-компьютерщик) - David Watt (computer scientist)

Эта биография живого человека требует дополнительных цитаты для проверка. Пожалуйста, помогите, добавив надежные источники. Спорный материал о живых людях, не имеющий или не имеющий источника необходимо немедленно удалить, особенно если потенциально клеветнический или вредно. Найдите источники: "Дэвид Ватт" ученый-компьютерщик  – Новости  · газеты  · книги  · ученый  · JSTOR (Июль 2014 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

Дэвид Энтони Ватт (родился 5 ноября 1946 г.^[1]) это Британский специалист в области информатики.

Ватт - профессор Университет Глазго, Шотландия. С участием Питер Мосс он разработал семантика действия, сочетание денотационная семантика, оперативный и алгебраическая семантика. В настоящее время он преподает третий год языки программирования курс и аспирантура по алгоритмам и структурам данных. [1] В кампусе его узнают по более формальной одежде по сравнению с обычным повседневным дресс-кодом факультета.^{[нужна цитата ]}

использованная литература

внешние ссылки

• Домашняя страница
• Работы Дэвида Ватта или о нем в библиотеках (WorldCat каталог)

Эта статья о компьютерном специалисте из Соединенного Королевства заглушка. Вы можете помочь Википедии расширяя это.

Эта формальные методы -связанная статья является заглушка. Вы можете помочь Википедии расширяя это.