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 embedded systems handbook / edited by Nicolas Navet, Françoise Simonot-Lion
| Automotive embedded systems handbook / edited by Nicolas Navet, Françoise Simonot-Lion |
| Pubbl/distr/stampa | Boca Raton, FL : CRC Press, ©2009 |
| Descrizione fisica | xviii, pag. varia : ill. ; 23 cm |
| Disciplina | 629.2 |
| Collana | Industrial information technology series |
| Soggetto non controllato |
Automobili - Apparecchiature elettroniche
Automobili - Controlli automatici - Attrezzature e forniture Sistemi informatici integrati |
| ISBN | 978-0-8493-8026-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990010102490403321 |
| Boca Raton, FL : CRC Press, ©2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automotive embedded systems handbook / edited by Nicolas Navet, Françoise Simonot-Lion
| Automotive embedded systems handbook / edited by Nicolas Navet, Françoise Simonot-Lion |
| Pubbl/distr/stampa | Boca Raton [etc.], : CRC, : Taylor & Francis, [2009] |
| Descrizione fisica | 1 v. (paginazione varia) : ill. ; 25 cm. |
| Disciplina | 629.2 |
| Collana | Industrial information technology series |
| Soggetto topico | Automobili - Dispositivi elettronici |
| ISBN |
084938026X
9780849380266 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0464075 |
| Boca Raton [etc.], : CRC, : Taylor & Francis, [2009] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Modeling and verification of real-time systems : formalisms and software tools / edited by Stephan Merz, Nicolas Navet
| Modeling and verification of real-time systems : formalisms and software tools / edited by Stephan Merz, Nicolas Navet |
| Pubbl/distr/stampa | London, : ISTE |
| Descrizione fisica | 393 p. ; 25 cm. |
| Disciplina |
004.01
004.0151 |
| Soggetto topico |
Elaborazione dei dati
Elaboratori elettronici - Programmi - Verifica |
| ISBN | 9781848210134 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0537923 |
| London, : ISTE | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||