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.
Automotive Software – Connected Services in Mobile Networks [Risorsa elettronica] : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers / edited by Manfred Broy, Ingolf H. Krüger, M
| Automotive Software – Connected Services in Mobile Networks [Risorsa elettronica] : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers / edited by Manfred Broy, Ingolf H. Krüger, M |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2006 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540376781 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009246770403321 |
| Berlin ; Heidelberg : Springer, 2006 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Control flow and data flow : concepts of distributed programming / edited by Manfred Broy
| Control flow and data flow : concepts of distributed programming / edited by Manfred Broy |
| Autore | NATO Advanced Study Institute on Control Flow and Data Flow : <1984 |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer-Verlag, ©1985 |
| Descrizione fisica | 525 p. : ill. ; 25 cm |
| Disciplina | 005 |
| Collana | NATO ASI series. Series F, Computer and systems sciences |
| Soggetto non controllato | Elaborazione dei dati elettronici - Congressi |
| ISBN | 3-540-13919-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000469060403321 |
NATO Advanced Study Institute on Control Flow and Data Flow : <1984
|
||
| Berlin ; Heidelberg : Springer-Verlag, ©1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal systems specification : the RPC-memory specification case study / Manfred Broy ... [et al.] (eds.)
| Formal systems specification : the RPC-memory specification case study / Manfred Broy ... [et al.] (eds.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1996 |
| Descrizione fisica | VII, 540 p. : ill. ; 23 cm |
| Disciplina | 00543 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
elaboratori elettronici - interfacciamento
elaboratori elettronici - sistemi operativi - programmazione telecomunicazioni |
| ISBN | 3-540-61984-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000207450203316 |
| Berlin [etc.] : Springer-Verlag, copyr. 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
KORSO : methods, languages, and tools for the construction of correct software : final report / Manfred Broy ... [etc.] (eds.)
| KORSO : methods, languages, and tools for the construction of correct software : final report / Manfred Broy ... [etc.] (eds.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1995 |
| Descrizione fisica | X, 449 p. : ill. ; 25 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato | software - progettazione |
| ISBN | 3-540-60589-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000211240203316 |
| Berlin [etc.] : Springer-Verlag, copyr. 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model-Based Testing of Reactive Systems [Risorsa elettronica] : Advanced Lectures / edited by Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
| Model-Based Testing of Reactive Systems [Risorsa elettronica] : Advanced Lectures / edited by Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2005 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540320371 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009237670403321 |
| Berlin ; Heidelberg : Springer, 2005 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model-Driven Development of Reliable Automotive Services [Risorsa elettronica] : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers / 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, Manfred Broy, Ingolf H. Krüger, Michael Meisinger
| Model-Driven Development of Reliable Automotive Services [Risorsa elettronica] : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers / 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, Manfred Broy, Ingolf H. Krüger, Michael Meisinger |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540709305 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009254380403321 |
| Berlin ; Heidelberg : Springer, 2008 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Requirements targeting software and systems engineering : International workshop RTSE '97 : Bernried, Germany, October 12-14, 1997 : proceedings / Manfred Broy ... [et al.] (eds.)
| Requirements targeting software and systems engineering : International workshop RTSE '97 : Bernried, Germany, October 12-14, 1997 : proceedings / Manfred Broy ... [et al.] (eds.) |
| Autore | International workshop RTSE '97 : 1997 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1998 |
| Descrizione fisica | VIII, 355 p. : ill. ; 24 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - bernried - 1997
software - progettazione - congressi - 1997 |
| ISBN | 3-540-65309-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000208650203316 |
|
International workshop RTSE '97 : 1997
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||