Formal software development from VDM to Java /

Bewaard in:
Bibliografische gegevens
Hoofdauteur: Charatan, Quentin
Coauteur: ebrary, Inc
Andere auteurs: Kans, Aaron
Formaat: Elektronisch E-boek
Taal:Engels
Gepubliceerd in: Basingstoke : Palgrave Macmillan, 2004.
Onderwerpen:
Online toegang:An electronic book accessible through the World Wide Web; click to view
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!