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

 

12 страниц

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

Information technology -- Z formal specification notation -- Syntax, type system and semantics -- Technical Corrigendum 1