%0
Book
%T
An introduction to formal specification and Z
%A Potter, Ben
%A Sinclair, Jane
%A Till, David
%7 2. ed., [Nachdr.]
%I Prentice Hall
%@ 0132422077
%K Computer software
%K Development
%K Z (Computer program language)
%K Z Programmiersprache
%D 1997
%X Literaturverz. S. 414-418
%C Prentice Hall
%C London [u.a.]
%U http://slubdd.de/katalog?TN_libero_mab2