Applied formal methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7 9, 1998 : proceedings
This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany. The main objective of the workshop was to draw a map of the key issues facing the practical application of formal methods in in...
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | , , |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
1641 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Applied formal methods--FM Trends 98, International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9 1998, proceedings, Dieter Hutter, Werner Stephan, Paolo Traverso ... [et al.], 1999, Berlin, Springer, 1 vol. (XI-376 p.), Lecture notes in computer science, 3-540-66462-9 • Applied Formal Methods - FM-Trends 98, Texte imprimé, 9783662168325 |