Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

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: