%0 Book %1 z:spiv92 %A Spivey, J. M. %D 1992 %I Prentice Hall International Series in Computer Science %K Z techbook freebook langman %T The Z Notation: A Reference Manual %U http://spivey.oriel.ox.ac.uk/~mike/zrm/ %Z This is a revised edition of the first widely available reference manual on Z originally published in 1989. The book provides a complete and definitive guide to the use of Z in specifying informatio %7 2nd %@ 013-978529-9

@book{z:spiv92, added-at = {2006-01-16T15:25:34.000+0100}, annote = {This is a revised edition of the first widely available reference manual on Z originally published in 1989. The book provides a complete and definitive guide to the use of Z in specifying informatio}, author = {Spivey, J. M.}, biburl = {https://www.bibsonomy.org/bibtex/2bef958b5039b5e106f31c5127c5b452e/mobileink}, description = {Z Refman}, edition = {2nd}, interhash = {ff4bb6e1e450a8c81b0e193db68eda56}, intrahash = {bef958b5039b5e106f31c5127c5b452e}, isbn = {013-978529-9}, keywords = {Z techbook freebook langman}, length = {150}, note = {Free online}, publisher = {Prentice Hall International Series in Computer Science}, timestamp = {2006-01-16T15:25:34.000+0100}, title = {The {Z} Notation: A Reference Manual}, url = {http://spivey.oriel.ox.ac.uk/~mike/zrm/}, year = 1992 }