• Campus Access
  • About MPG.eBooks
Skip to content
Search Tips
  • Home>
  • VDM '88 VDM — The Way Ahead
  • Description
Language
  • Advanced
Cover Image
Read Now

VDM '88 VDM — The Way Ahead 2nd VDM-Europe Symposium Dublin, Ireland, September 11–16, 1988 Proceedings

Bibliographic Details
Main Author: Bloomfield, Robin
Other Authors: Jones, Roger, Marshall, Lynn
Format: eBook
Language:English
Published: Berlin [u.a.] Springer 1988, 1988
Series:Lecture Notes in Computer Science
Online Access:
http://dx.doi.org/10.1007/3-540-50214-9?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:9783540502142

Similar Items

  • VDM '88. VDM - The Way Ahead : 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings
    Published: (1988)
  • VDM '87. VDM - A Formal Method at Work : VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
    Published: (1987)
  • VDM '87 VDM — A Formal Method at Work : VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings
    by: Bjørner, Dines
    Published: (1987)
  • Programming with VDM
    by: Rolland, F.D.
    Published: (1992)
  • 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)
Logo Max Planck Digital Library
  • Advanced Search
  • Recently Uploaded
  • Search History
  • Disclaimer
  • Privacy Policy
  • Cookie Settings
  • Contact
Loading...