Вы здесь

Главная

object-z

Связанные издания:

A Case Study in Partial Specification: Consistency and Refinement for Object-Z
Structural Refinement in Object-Z / CSP
Structuring Real-Time Object-Z Specifications
The Object-Z Specification Language