The VDM-SL Reference Guide

by John Dawes

0 ratings • 0 reviews • 0 shelved
Book cover for The VDM-SL Reference Guide

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

The readership will not just consist of programmers. It will also appeal to system designers, to customers wishing to specify their requirements, to evaluators of systems, and to lecturers and software engineering students. In short, anyone who wants to read a VDM specification More...with understanding. 2nd/3rd year computer science courses, parti
  • ISBN10 1482267411
  • ISBN13 9781482267419
  • Publish Date 31 December 1991 (first published 31 July 1991)
  • Publish Status Permanently Withdrawn
  • Out of Print 21 July 2021
  • Publish Country GB
  • Publisher Taylor & Francis Ltd
  • Imprint CRC Press
  • Format eBook
  • Pages 200
  • Language English