Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings / / Didier Bert (ed.)
| B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings / / Didier Bert (ed.) |
| Pubbl/distr/stampa | Springer Berlin Heidelberg |
| Disciplina | 005.1/4 |
| Altri autori (Persone) | BertDidier |
| Soggetto topico |
B method (Computer science) - Congresses
Debugging in computer science - Congresses |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466111703316 |
| Springer Berlin Heidelberg | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings / / Didier Bert (ed.)
| B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings / / Didier Bert (ed.) |
| Pubbl/distr/stampa | Springer Berlin Heidelberg |
| Disciplina | 005.1/4 |
| Altri autori (Persone) | BertDidier |
| Soggetto topico |
B method (Computer science) - Congresses
Debugging in computer science - Congresses |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910143453103321 |
| Springer Berlin Heidelberg | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
