Z User Workshop, London 1992: Proceedings of the Seventh Annual Z User Meeting,
75,97 €
Language Issues and Reuse. - Putting Numbers into the Mathematical Toolkit. - Reuse and Adaptation of Z Specifications. - Safety-Critical Systems and Timing. - Preliminary Experience Using Z to Specify a Safety-Critical System.
Jetzt bei Ebay:
