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.
Abstract State Machines, B and Z [Risorsa elettronica] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
| Abstract State Machines, B and Z [Risorsa elettronica] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540876038 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009257220403321 |
| Berlin ; Heidelberg : Springer, 2008 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods and Testing [Risorsa elettronica] : An Outcome of the FORTEST Network, Revised Selected Papers / edited by Robert M. Hierons, Jonathan P. Bowen, Mark Harman
| Formal Methods and Testing [Risorsa elettronica] : An Outcome of the FORTEST Network, Revised Selected Papers / edited by Robert M. Hierons, Jonathan P. Bowen, Mark Harman |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540789178 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009255610403321 |
| Berlin ; Heidelberg : Springer, 2008 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Z formal specification notation : 11th international conference of Zusers Berlin, Germany, September 24-26, 1998 prooceedings / Jonathan P. Bowen ... [et al.] (eds.) (ZUM'98)
| The Z formal specification notation : 11th international conference of Zusers Berlin, Germany, September 24-26, 1998 prooceedings / Jonathan P. Bowen ... [et al.] (eds.) (ZUM'98) |
| Autore | International conference of Z users : 11. : 1998 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1998 |
| Descrizione fisica | XV, 415 p. : ill. ; 20 cm |
| Disciplina | 005133 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - berlino - 1998
linguaggio z - congressi - 1998 |
| ISBN | 3-540-65070-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000209050203316 |
International conference of Z users : 11. : 1998
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The Z formal specification notation : 10th International conference of Zusers : Rreading, UK, April 3-4, 1997 : proceedings / Jonathan P. Bowen ... [et al.] (eds.) (ZUM '97)
| The Z formal specification notation : 10th International conference of Zusers : Rreading, UK, April 3-4, 1997 : proceedings / Jonathan P. Bowen ... [et al.] (eds.) (ZUM '97) |
| Autore | International conference of Z users : 10. : 1997 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1997 |
| Descrizione fisica | X, 433 p. : ill. ; 23 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - reading - 1997
elaboratori elettronici - programmazione - congressi - 1997 software - progettazione - congressi - 1997 |
| ISBN | 3-540-62717-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000205030203316 |
|
International conference of Z users : 10. : 1997
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
the Z formal specification notation : 9th International conference of Z users : Limerick, Ireland, Septmber7-9, 1995 : proceedings / Jonathan P. Bowen ... [etc.] (eds.) (ZUM'95)
| the Z formal specification notation : 9th International conference of Z users : Limerick, Ireland, Septmber7-9, 1995 : proceedings / Jonathan P. Bowen ... [etc.] (eds.) (ZUM'95) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr (, 1995) |
| Descrizione fisica | XI, 569 p. : ill. ; 24 cm. |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - limerick - 1995
elaboratori elettronici - programmazione - congressi - 1995 software - progettazione - congressi - 1995 |
| ISBN | 3-540-60271-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000211040203316 |
| Berlin [etc.] : Springer-Verlag, copyr (, 1995) | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||