Please use this identifier to cite or link to this item:
192.168.6.56/handle/123456789/46838Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | M.Wing, Jeannette | - |
| dc.date.accessioned | 2019-02-22T08:56:20Z | - |
| dc.date.available | 2019-02-22T08:56:20Z | - |
| dc.date.issued | 1999 | - |
| dc.identifier.isbn | 3-540-66588-9 | - |
| dc.identifier.uri | http://10.6.20.12:80/handle/123456789/46838 | - |
| dc.description | Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place | en_US |
| dc.language | en | en_US |
| dc.language.iso | en | en_US |
| dc.publisher | Springer Science+Business Media, LLC | en_US |
| dc.subject | FormalMethods | en_US |
| dc.title | FM’99–FormalMethodsWorldCongressonFormalMethodsintheDevelopmentofComputingSystemsToulouse,France,September20-24,1999Proceedings,VolumeII | en_US |
| dc.type | Book | en_US |
| Appears in Collections: | Education Planning & Management(EDPM) | |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.