ZUM 98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings
1 In a number of recent presentations most notably at FME 96 oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare,has highlighted the fact that formal methods are not the only technique for producing reliable software. This seems to have caused some controversy,not least amongst...
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | , , |
| Materyal Türü: | Livre numérique |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seri Bilgileri: | Lecture notes in computer science
1493 |
| Konular: | |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • ZUM'98, the Z formal specification notation, 11th international conference of Z users, Berlin, Germany, September 24-26, 1998, proceedings, Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (eds), 1998, Berlin, Springer, 1 vol. (XV-415 p.), Lecture notes in computer science, 3-540-65070-9 • ZUM '98: The Z Formal Specification Notation, Texte imprimé, 9783662177235 |