A Formal Description of Object-Oriented Programming Using VDM
Minkowitz, C. and Henderson, P. (1987) A Formal Description of Object-Oriented Programming Using VDM. VDM-Europe Symposium on VDM - A Formal Method at Work, LNCS 252 Springer-Verlag, Berlin, 237-259.
Download
Full text not available from this repository.
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Additional Information: | Address: Brussels, Belgium |
| ISBNs: | 3540176543 |
| Divisions: | Faculty of Physical Sciences and Engineering > Electronics and Computer Science |
| Item ID: | 253118 |
| Date Deposited: | 03 May 2000 |
| Last Modified: | 02 Mar 2012 11:57 |
| Contributors: | Minkowitz, C. (Author) Henderson, P. (Author) Airchinnigh, M. Mac an (Editor) Bjørner, D. (Editor) Jones, C. B. (Editor) Neuhold, E. J. (Editor) |
| Date: | March 1987 |
| Additional Information: | Address: Brussels, Belgium |
| Status: | Published |
| Publisher: | Springer-Verlag, Berlin |
| Further Information: | Google Scholar |
| ISI Citation Count: | 0 |
| URI: | http://eprints.soton.ac.uk/id/eprint/253118 |
Actions (login required)
 |
View Item |
