Object orientation in Z /

Z is currently one of the more popular formal specification languages. Practical experience has shown, however, that the Z schema is insufficient to support the structuring of large specifications, and many attempts have been made to develop adequate extensions to it. One of the most promising avenu...

Full description

Bibliographic Details

Corporate Authors:	SpringerLink (Online service), British Computer Society
Other Authors:	Stepney, Susan, 1958-, Barden, Rosalind, 1959-, Cooper, David, 1958-
Format:	eBook
Language:	English
Published:	London ; New York : Springer-Verlag, [1992]
Series:	Workshops in computing.
Subjects:	Object-oriented programming (Computer science) Z (Computer program language) Z (programmeertaal) Object-georiënteerd programmeren. Aufsatzsammlung. Objektorientierte Programmierung. Z (Programmiersprache) Programming languages Electronic books.
Online Access:	Connect to the full text of this electronic book