FME'96: industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe, co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings
Finna-arvio
FME'96: industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe, co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings
Tallennettuna:
| Ulkoasu |
XII, 704 s |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
Berlin :
Springer,
1996.
|
| Sarja | Lecture notes in computer science, 1051. |
| Luokitus | |
| Aiheet | |
| Lisätiedot | Marie-Claude Gaudel, James Woodcock (eds.) |
| ISBN |
3-540-60973-3 |
| Hae kokoteksti | |