Filter
Sökt på: Sökresultat
Filter
1 träff
The Object-Z Specification Language
häftad,
2012,
Engelska,
ISBN 9781461374015
Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z's …