Formal Methods: Foundations and Applications [[electronic resource] ] : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings / / edited by Tiago Massoni, Mohammad Reza Mousavi
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Formal Methods: Foundations and Applications [[electronic resource] ] : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings / / edited by Tiago Massoni, Mohammad Reza Mousavi
|
| Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Edizione: | 1st ed. 2018. |
| Descrizione fisica: | 1 online resource (X, 271 p. 52 illus.) |
| Disciplina: | 005.1 |
| Soggetto topico: | Software engineering |
| Programming languages (Electronic computers) | |
| Computer programming | |
| Computer logic | |
| Mathematical logic | |
| Algorithms | |
| Software Engineering | |
| Programming Languages, Compilers, Interpreters | |
| Programming Techniques | |
| Logics and Meanings of Programs | |
| Mathematical Logic and Formal Languages | |
| Algorithm Analysis and Problem Complexity | |
| Persona (resp. second.): | MassoniTiago |
| MousaviMohammad Reza | |
| Nota di contenuto: | Techniques and methodologies -- Specification and modeling languages -- Theoretical foundations -- Verification and validation -- Experience reports regarding teaching formal methods -- Applications. |
| Sommario/riassunto: | Chapter “TeSSLa: Temporal Stream-Based Specification Language” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. |
| Titolo autorizzato: | Formal Methods: Foundations and Applications |
| ISBN: | 3-030-03044-X |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996466319703316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Programming and Software Engineering ; ; 11254