%0 Book %1 z:bowe96 %A Bowen, J. P. %D 1996 %I International Thomson Computer Press %K Z refman techbook freebook %T Formal Specification and Documentation Using Z: A Case Study Approach %U http://www.afm.sbu.ac.uk/zbook/ %Z Contents: Foreword; Preface; Part I: Introduction -- Chapter 1: Formal Specification using Z, Chapter 2: Industrial Use of Formal Methods, Chapter 3: A Brief Introduction to Z; Part II: Network Serv %@ 1-85032-230-9

@book{z:bowe96, added-at = {2006-01-16T15:25:05.000+0100}, annote = {Contents: Foreword; Preface; Part I: Introduction -- Chapter 1: Formal Specification using Z, Chapter 2: Industrial Use of Formal Methods, Chapter 3: A Brief Introduction to Z; Part II: Network Serv}, author = {Bowen, J. P.}, biburl = {https://www.bibsonomy.org/bibtex/2aa8a7816ec7ce118d257d00baecaa29a/mobileink}, comment = {London / Boston}, description = {Z Spec}, interhash = {1c8f7bb82f264e9570103e252e235d8f}, intrahash = {aa8a7816ec7ce118d257d00baecaa29a}, isbn = {1-85032-230-9}, keywords = {Z refman techbook freebook}, length = {302}, note = {FREE PDF online}, price = {\pounds 24.95}, publisher = {International Thomson Computer Press}, timestamp = {2006-01-16T15:25:05.000+0100}, title = {Formal Specification and Documentation Using {Z}: A Case Study Approach}, url = {http://www.afm.sbu.ac.uk/zbook/}, year = 1996 }