ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings

53.49 EUR

Ein kompakter Leitfaden aus der zehnten internationalen Konferenz zu Z in Reading (April 1997), der praxisorientierte Vorträge, Fallstudien und theoretische Analysen zur formalen Spezifikation mit Z zusammenfasst und so Fachleute bei der Entwicklung präziser Softwaremodelle unterstützt.