VDM '90. VDM and Z - Formal Methods in Software Development: Third International
69,11 €
Object orientation and formal techniques. - Modal logic programming. - Z specification of an object manager. - Correctness in the small. - Programming with VDM domains. - Towards a semantics for object-Z.
Jetzt bei Ebay:
