Refinement in Z and Object-Z
Subtitle: Foundations and Advanced Applications
Publisher: Springer London
Published: 2001
Place of publication: London
Language: ger
Format: [Elektronische Ressource]
ISBN-13: 9781447102571
Subjects: Verfeinerung; Z <Programmiersprache>; Object-Z
Notes: Lizenzpflichtig

Langzeitarchivierung gewährleistet LZA