Пловдивски университет "Паисий Хилендарски"

Къде желаете да търсите

Книги

Периодика

Статии

Дисертации

Какво желаете да търсите

Търсене в

Подредба

Чети онлайн

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

Specifying Message Passing and Time-Critical Systems with Temporal Logic

Ред.: Ron Koymans

44327

Детайли

Издателство

Springer

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

Berlin etc.

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

1992

Страници

164 p.

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

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

Допълнителна информация

ISBN

3-540-56283-4

Отрасъл

Математика

Системен №

12897

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

S 78

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

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

Действия

Виж още

In Other Words

Mona Baker (1992)

Чети онлайн

Teaching Stylistics

(2011)

Чети онлайн

The Translator's Invisibility

Lawrence Venuti (2008)

Чети онлайн

Principles of Language Learning and Teaching

H. Douglas Brown (2000)

Чети онлайн

Stylistics

I. R. Galperin (1977)

Чети онлайн

Approaches and Methods in Language Teaching

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

Чети онлайн

APA Chicago / Turabian (16th edition) Harvard MLA (7th edition) Vancouver

Specifying Message Passing and Time-Critical Systems with Temporal Logic. Berlin etc.: Springer, 1992 164 p. 3-540-56283-4.

(1992) Specifying Message Passing and Time-Critical Systems with Temporal Logic, Berlin etc.: Springer 164 p. 3-540-56283-4.

(1992). Specifying Message Passing and Time-Critical Systems with Temporal Logic. Berlin etc.: Springer, 164 p.

Specifying Message Passing and Time-Critical Systems with Temporal Logic. Berlin etc.: Springer; 1992. p. 164 p. ISBN: 3-540-56283-4.