> Details

Bjorner, Dines [Author] ; Hoare, C.A.R [Other]; Langmaack, Hans [Other]

VDM '90. VDM and Z - Formal Methods in Software Development

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: E-Book; Conference Proceedings
  • Title: VDM '90. VDM and Z - Formal Methods in Software Development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
  • Contributor: Bjorner, Dines [Author]; Hoare, C.A.R. [Other]; Langmaack, Hans [Other]
  • imprint: Berlin, Heidelberg: Springer Berlin Heidelberg, 1990
  • Published in: Lecture notes in computer science ; 428
    Bücher
  • Extent: Online-Ressource
  • Language: English
  • DOI: 10.1007/3-540-52513-0
  • ISBN: 9783540470069
  • Identifier:
  • RVK notation: SS 4800 : Lecture notes in computer science
  • Keywords: VDM > Z
    VDM
  • Origination:
  • Footnote: