Formal Methods: Applications and Technology [Risorsa elettronica] : 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers / edited by Lubo |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2007 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540709527 |
Formato | Risorse elettroniche ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009247960403321 |
Berlin ; Heidelberg : Springer, 2007 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Integrated Formal Methods [Risorsa elettronica] : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings / edited by Judi Romijn, Graeme Smith, Jaco Pol |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2005 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540322405 |
Formato | Risorse elettroniche ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009237570403321 |
Berlin ; Heidelberg : Springer, 2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|