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.
On the Construction of Engineering Handbooks [[electronic resource] ] : with an Illustration from the Railway Safety Domain / / by Stefan Gruner, Apurva Kumar, Tom Maibaum, Markus Roggenbach
| On the Construction of Engineering Handbooks [[electronic resource] ] : with an Illustration from the Railway Safety Domain / / by Stefan Gruner, Apurva Kumar, Tom Maibaum, Markus Roggenbach |
| Autore | Gruner Stefan |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XII, 83 p. 13 illus., 6 illus. in color.) |
| Disciplina | 808.0666 |
| Collana | SpringerBriefs in Computer Science |
| Soggetto topico |
Software engineering
Management information systems Computer science Computers Law and legislation Transportation engineering Traffic engineering Software Engineering Management of Computing and Information Systems Legal Aspects of Computing Transportation Technology and Traffic Engineering |
| ISBN | 3-030-44648-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | I Part I : Background -- 1Introduction and Motivation -- 2Related Work -- Part II : Analysis -- 3A General Method for Composing an Engineering HB -- 4Application of the General Method to the Railway Domain -- Part III : Synthesis -- 5Example HB Entry of a Formal Method for the Railway Domain - Step 6 -- 6Conclusions and Prospects for Future Work. . |
| Record Nr. | UNISA-996465448303316 |
Gruner Stefan
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
On the Construction of Engineering Handbooks : with an Illustration from the Railway Safety Domain / / by Stefan Gruner, Apurva Kumar, Tom Maibaum, Markus Roggenbach
| On the Construction of Engineering Handbooks : with an Illustration from the Railway Safety Domain / / by Stefan Gruner, Apurva Kumar, Tom Maibaum, Markus Roggenbach |
| Autore | Gruner Stefan |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XII, 83 p. 13 illus., 6 illus. in color.) |
| Disciplina | 808.0666 |
| Collana | SpringerBriefs in Computer Science |
| Soggetto topico |
Software engineering
Management information systems Computer science Computers Law and legislation Transportation engineering Traffic engineering Software Engineering Management of Computing and Information Systems Legal Aspects of Computing Transportation Technology and Traffic Engineering |
| ISBN | 3-030-44648-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | I Part I : Background -- 1Introduction and Motivation -- 2Related Work -- Part II : Analysis -- 3A General Method for Composing an Engineering HB -- 4Application of the General Method to the Railway Domain -- Part III : Synthesis -- 5Example HB Entry of a Formal Method for the Railway Domain - Step 6 -- 6Conclusions and Prospects for Future Work. . |
| Record Nr. | UNINA-9910409675903321 |
|
Gruner Stefan
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||