Каталог "Книги" | Книги .(02)

Formal Methods for Interactive Systems

Alan John Dix

45088

Издателство

Academic Press

Местоиздаване

London etc.

Година на издаване

1991

Страници

369 p. il.

Класификационен индекс

УДК	Значение
519.6/.8	Изчислителна математика. Числен анализ и програмиране (машинна математика)/ Изследване на операциите

ISBN

0-12-218315-0

Отрасъл

Математика

Системен №

13713

Допълнителна сигнатура

D 65

Инвентаризация

Статус	Брой
Фил. Математика (МАТ)	1

Виж още

Цветомира Иванова Казашка (2025)

Beverley Collins; Inger M. Mees; Paul Carley (2019)

Милен Пламенов Близнаков (2022)

Jenny Williams (2013)

Sara laviosa (2014)

Michael Cronin (2013)