VDM '91. Formal Software Development Methods. 4th International Symposium of VDM
123,67 €
Concurrent processes as objects. - The Larch approach to specification. - On type checking in VDM and related consistency issues. - A case for structured analysis/formal design. - Writing operational semantics in Z: A structural approach.
Jetzt bei Ebay:
