ISO/IEC 13568:2002
Информационные технологии. Нотация Z формальной спецификации. Синтаксис, система знаков и семантика

 

196 страниц

Опубликован 04.07.2002

Information technology. Z formal specification notation. Syntax, type system and semantics