Search dblp for Publications

export results for "toc:db/books/collections/McKeagN80.bht:"

 download as .bib file

@incollection{DBLP:books/cu/mckeag80/AbrialSM80,
  author       = {Jean{-}Raymond Abrial and
                  Stephen A. Schuman and
                  Bertrand Meyer},
  editor       = {R. M. McKeag and
                  A. M. Macnaghten},
  title        = {Specification Language},
  booktitle    = {On the Construction of Programs},
  pages        = {343--410},
  publisher    = {Cambridge University Press},
  year         = {1980},
  timestamp    = {Sat, 03 Aug 2019 18:38:14 +0200},
  biburl       = {https://dblp.org/rec/books/cu/mckeag80/AbrialSM80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/cu/mckeag80/Bustard80,
  author       = {David W. Bustard},
  editor       = {R. M. McKeag and
                  A. M. Macnaghten},
  title        = {An Introduction to Pascal-Plus},
  booktitle    = {On the Construction of Programs},
  pages        = {1--58},
  publisher    = {Cambridge University Press},
  year         = {1980},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/cu/mckeag80/Bustard80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/cu/mckeag80/ClintP80,
  author       = {Maurice Clint and
                  Ronald H. Perrott},
  editor       = {R. M. McKeag and
                  A. M. Macnaghten},
  title        = {Algorithms for Parallel Computers},
  booktitle    = {On the Construction of Programs},
  pages        = {283--318},
  publisher    = {Cambridge University Press},
  year         = {1980},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/cu/mckeag80/ClintP80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/cu/mckeag80/Coleman80,
  author       = {Derek Coleman},
  editor       = {R. M. McKeag and
                  A. M. Macnaghten},
  title        = {Concurrent Pascal - An Appraisal},
  booktitle    = {On the Construction of Programs},
  pages        = {213--228},
  publisher    = {Cambridge University Press},
  year         = {1980},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/cu/mckeag80/Coleman80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/cu/mckeag80/Hoare80,
  author       = {C. A. R. Hoare},
  editor       = {R. M. McKeag and
                  A. M. Macnaghten},
  title        = {A Model for Communicating Sequential Processes},
  booktitle    = {On the Construction of Programs},
  pages        = {229--254},
  publisher    = {Cambridge University Press},
  year         = {1980},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/cu/mckeag80/Hoare80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/cu/mckeag80/IchbiahBHKRW80,
  author       = {Jean Ichbiah and
                  John G. P. Barnes and
                  Jean{-}Claude Heliard and
                  Bernd Krieg{-}Br{\"{u}}ckner and
                  Olivier Roubine and
                  Brian A. Wichmann},
  editor       = {R. M. McKeag and
                  A. M. Macnaghten},
  title        = {Modules and Visibility in the Ada Programming Language},
  booktitle    = {On the Construction of Programs},
  pages        = {153--192},
  publisher    = {Cambridge University Press},
  year         = {1980},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/cu/mckeag80/IchbiahBHKRW80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/cu/mckeag80/Jackson80,
  author       = {M. A. Jackson},
  editor       = {R. M. McKeag and
                  A. M. Macnaghten},
  title        = {Information Systems: Modelling, Sequencing and Transformations},
  booktitle    = {On the Construction of Programs},
  pages        = {319--342},
  publisher    = {Cambridge University Press},
  year         = {1980},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/cu/mckeag80/Jackson80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/cu/mckeag80/McKeag80,
  author       = {R. M. McKeag},
  editor       = {R. M. McKeag and
                  A. M. Macnaghten},
  title        = {A Structured Operating System},
  booktitle    = {On the Construction of Programs},
  pages        = {107--152},
  publisher    = {Cambridge University Press},
  year         = {1980},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/cu/mckeag80/McKeag80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/cu/mckeag80/Perrott80,
  author       = {Ronald H. Perrott},
  editor       = {R. M. McKeag and
                  A. M. Macnaghten},
  title        = {Languages for Parallel Computers},
  booktitle    = {On the Construction of Programs},
  pages        = {255--282},
  publisher    = {Cambridge University Press},
  year         = {1980},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/cu/mckeag80/Perrott80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/cu/mckeag80/RoubineH80,
  author       = {Olivier Roubine and
                  Jean{-}Claude Heliard},
  editor       = {R. M. McKeag and
                  A. M. Macnaghten},
  title        = {Parallel Processing in Ada},
  booktitle    = {On the Construction of Programs},
  pages        = {193--212},
  publisher    = {Cambridge University Press},
  year         = {1980},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/cu/mckeag80/RoubineH80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/cu/mckeag80/Welsh80,
  author       = {Jim Welsh},
  editor       = {R. M. McKeag and
                  A. M. Macnaghten},
  title        = {A Structured Compiler},
  booktitle    = {On the Construction of Programs},
  pages        = {59--106},
  publisher    = {Cambridge University Press},
  year         = {1980},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/cu/mckeag80/Welsh80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/cu/McKeagN80,
  editor       = {R. M. McKeag and
                  A. M. Macnaghten},
  title        = {On the Construction of Programs},
  publisher    = {Cambridge University Press},
  year         = {1980},
  isbn         = {978-0-521-23090-2},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/cu/McKeagN80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.