Formal Object Oriented Specification Using Object-Z

This text presents techniques for the precise description of software or systems using the object-oriented formal specification language, Object-Z.

Toto zboží se v tuto chvíli neprodává.