• Campus Access
  • About MPG.eBooks
Skip to content
Search Tips
  • Home>
  • Mathematics of Program Constru...
  • Description
Language
  • Advanced
Cover Image
Read Now

Mathematics of Program Construction Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings

Bibliographic Details
Main Author: Bird, R.
Other Authors: Morgan, C., Woodcock, J.
Format: eBook
Language:English
Published: Berlin [u.a.] Springer 1993, 1993
Series:Lecture Notes in Computer Science
Online Access:
http://dx.doi.org/10.1007/3-540-56625-2?nosfx=y
Collection: Springer Lecture Notes Archiv 1964-1996 - Collection details see MPG.ReNa
    • Export to EndNoteWeb
    • Export to EndNote
    • Export to MARC
    • Export to BibTeX
  • Description
  • Staff View
Description
ISBN:9783540566250

Similar Items

  • Mathematics of Program Construction : Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings
    Published: (1993)
  • Mathematics of Program Construction : 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
    Published: (2015)
  • Mathematics of Program Construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings
    Published: (2004)
  • Mathematics of Program Construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings
    by: Kozen, Dexter
    Published: (2004)
  • Mathematics of Program Construction : 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings
    Published: (2006)
Logo Max Planck Digital Library
  • Advanced Search
  • Recently Uploaded
  • Search History
  • Disclaimer
  • Privacy Policy
  • Cookie Settings
  • Contact
Loading...