Charatan, Q., & Kans, A. (2004). Formal software development: From VDM to Java. Palgrave Macmillan.
क्लिपबोर्ड पर सफलतापूर्वक कॉपी किया गया
क्लिपबोर्ड पर कॉपी करना विफल
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्र
Charatan, Quentin, और Aaron Kans. Formal Software Development: From VDM to Java. Basingstoke: Palgrave Macmillan, 2004.
क्लिपबोर्ड पर सफलतापूर्वक कॉपी किया गया
क्लिपबोर्ड पर कॉपी करना विफल
एमएलए (9वां संस्करण) प्रशस्ति पत्र
Charatan, Quentin, और Aaron Kans. Formal Software Development: From VDM to Java. Palgrave Macmillan, 2004.
क्लिपबोर्ड पर सफलतापूर्वक कॉपी किया गया
क्लिपबोर्ड पर कॉपी करना विफल
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.