• Campus Access
  • About MPG.eBooks
Skip to content
Search Tips
  • Home>
  • VDM '87 VDM — A Formal Method...
  • Description
Language
  • Advanced
Cover Image
Read Now

VDM '87 VDM — A Formal Method at Work VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

Bibliographic Details
Main Author: Bjørner, Dines
Other Authors: Jones, Cliff, Mac an Airchinnigh, Mícheál, Neuhold, Erich
Format: eBook
Language:English
Published: Berlin [u.a.] Springer 1987, 1987
Series:Lecture Notes in Computer Science
Online Access:
http://dx.doi.org/10.1007/3-540-17654-3?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:9783540176541

Similar Items

  • VDM '87. VDM - A Formal Method at Work : VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
    Published: (1987)
  • VDM '90 VDM and Z — Formal Methods in Software Development : Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings
    by: Bjørner, D.
    Published: (1990)
  • VDM '90. VDM and Z - Formal Methods in Software Development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
    Published: (1990)
  • VDM '88. VDM - The Way Ahead : 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings
    Published: (1988)
  • VDM '88 VDM — The Way Ahead : 2nd VDM-Europe Symposium Dublin, Ireland, September 11–16, 1988 Proceedings
    by: Bloomfield, Robin
    Published: (1988)
Logo Max Planck Digital Library
  • Advanced Search
  • Recently Uploaded
  • Search History
  • Disclaimer
  • Privacy Policy
  • Cookie Settings
  • Contact
Loading...