BibTeX record books/daglib/0067866

download as .bib file

@book{DBLP:books/daglib/0067866,
  author       = {John Michael Spivey},
  title        = {The {Z} notation - a reference manual},
  series       = {Prentice Hall International Series in Computer Science},
  publisher    = {Prentice Hall},
  year         = {1989},
  isbn         = {978-0-13-983768-5},
  timestamp    = {Thu, 05 May 2011 16:48:11 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0067866.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics