Tools and algorithms for the construction and analysis of sytems : 4th International Conference, TACAS '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 April 4, 1998 : proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'98, held in conjunction with ETAPS in Lisbon, Portugal, in March/April 1998. The 28 revised full papers presented together with an invit...
Guardado en:
| Autores Corporativos: | , |
|---|---|
| Otros Autores: | |
| Formato: | Livre numérique |
| Lenguaje: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colección: | Lecture notes in computer science
1384 |
| Materias: | |
| Acceso en línea: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Tools and algorithms for the construction and analysis of sytems, 4th International Conference, TACAS '98, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March/April 1998, proceedings, Bernhard Steffen (ed.), 1998, Berlin, Springer, 1 vol. ( XIII-455 p.), Lecture notes in computer science, 3-540-64356-7 • Tools and Algorithms for the Construction and Analysis of Systems, Texte imprimé, 9783662214688 |