Z User Workshop: Proceedings of the Fourth Annual Z User Meeting Oxford, 15 Dece
75,36 €
Type Inference in Z.- Minimisation in Formal Specification and Design. - From Programs to Z Specifications. - Computer Aided Transformation of Z into Prolog. - A Generalisation of Bags in Z.- Formaliser — An Interactive Support Tool for Z.- Using Z to Develop a CASE Toolset.
Jetzt bei Ebay: