VDM: une méthode rigoureuse pour le développement du logiciel (1993)

Author(s): Jones CB

      • Number of Pages: 290
      • Publisher: Masson
      • Publication type: Authored book
      • Bibliographic status: Published
        Staff

        Professor Cliff Jones
        Professor

        • Telephone: +44 191 208 8183