ePrints

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

Lookup NU author(s): Emeritus Professor Cliff JonesORCiD

Downloads

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

Share