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.
ForMABS '16 : proceedings of the International Workshop on Formal Methods for Analysis of Business Systems : September 4, 2016, Singapore / / edited by Ravindra Naik, Raveendra Kumar Medicherla, and Ansuman Banerjee ; sponsored by ACM SIGSOFT [and three others]
| ForMABS '16 : proceedings of the International Workshop on Formal Methods for Analysis of Business Systems : September 4, 2016, Singapore / / edited by Ravindra Naik, Raveendra Kumar Medicherla, and Ansuman Banerjee ; sponsored by ACM SIGSOFT [and three others] |
| Pubbl/distr/stampa | New York : , : ACM, , 2016 |
| Descrizione fisica | 1 online resource (16 pages) |
| Disciplina | 004.0151 |
| Soggetto topico |
Formal methods (Computer science)
Management information systems |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4503-4214-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Formal Methods for Analysis of Business Systems 2016
Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems |
| Record Nr. | UNINA-9910376436803321 |
| New York : , : ACM, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 17th Innovations in Software Engineering Conference / / Edited by Sujit Kumar Chakrabarti, Aseem Rastogi, Sudipto Ghosh, Raghavan Komondoor, Raveendra Kumar Medicherla, Lov Kumar, Sangharatna Godboley
| Proceedings of the 17th Innovations in Software Engineering Conference / / Edited by Sujit Kumar Chakrabarti, Aseem Rastogi, Sudipto Ghosh, Raghavan Komondoor, Raveendra Kumar Medicherla, Lov Kumar, Sangharatna Godboley |
| Pubbl/distr/stampa | Association for Computing Machinery, 2024 |
| Descrizione fisica | 1 online resource (144 p.;) |
| Altri autori (Persone) |
ChakrabartiSujit Kumar
RastogiAseem GhoshSudipto KomondoorRaghavan MedicherlaRaveendra Kumar KumarLov GodboleySangharatna |
| Collana | ACM Other conferences |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ||| |
| Altri titoli varianti | ISEC '24 |
| Record Nr. | UNISA-996585465803316 |
| Association for Computing Machinery, 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings of the 17th Innovations in Software Engineering Conference / / Edited by Sujit Kumar Chakrabarti, Aseem Rastogi, Sudipto Ghosh, Raghavan Komondoor, Raveendra Kumar Medicherla, Lov Kumar, Sangharatna Godboley
| Proceedings of the 17th Innovations in Software Engineering Conference / / Edited by Sujit Kumar Chakrabarti, Aseem Rastogi, Sudipto Ghosh, Raghavan Komondoor, Raveendra Kumar Medicherla, Lov Kumar, Sangharatna Godboley |
| Pubbl/distr/stampa | Association for Computing Machinery, 2024 |
| Descrizione fisica | 1 online resource (144 p.;) |
| Altri autori (Persone) |
ChakrabartiSujit Kumar
RastogiAseem GhoshSudipto KomondoorRaghavan MedicherlaRaveendra Kumar KumarLov GodboleySangharatna |
| Collana | ACM Other conferences |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ||| |
| Altri titoli varianti | ISEC '24 |
| Record Nr. | UNINA-9910838169203321 |
| Association for Computing Machinery, 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||