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

Formal Development of Reactive Systems

Case Study Production Cell

44305

Издателство

Springer

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

Berlin etc.

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

1995

Страници

394 p. il.

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

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

ISBN

3-540-58867-1

Отрасъл

Математика

Системен №

12885

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

F 76

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

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

Виж още

Костадин Рангелов Баков (2025)

Sarah Birrell Ivory (2021)

(2011)

Scott Thornbury (2005)

Jack C. Richards; Theodore S. Rodgers (1993)