Toggle Main Menu Toggle Search

Open Access padlockePrints

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

Lookup NU author(s): Professor Cliff Jones


Full text is not currently available for this publication.

Publication metadata

Author(s): Jones CB

Publication type: Authored Book

Publication status: Published

Year: 1993

Number of Pages: 290

Publisher: Masson

Place Published: Paris

Library holdings: Search Newcastle University Library for this item

ISBN: 2225828121


Link to this publication