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

Understanding Z

A Specification Language and its Formal Semantics

J. M. Spivey

44986

Издателство

Cambridge University Press

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

Cambridge etc.

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

1988

Страници

131 p.

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

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

ISBN

0 521 33429 2

Отрасъл

Математика

Системен №

13579

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

S 78

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

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

Виж още

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

Траяна Ангелова Латева (2025)

Мария Николова Николова-Милова (2024)

Sarah Birrell Ivory (2021)

Димитър Василев Попов (2023)

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