Formal Methods: Foundations and Applications : 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 : 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 |
| 004.0151 | |
| Soggetto topico: | Software engineering |
| Compilers (Computer programs) | |
| Computer programming | |
| Computer science | |
| Machine theory | |
| Algorithms | |
| Software Engineering | |
| Compilers and Interpreters | |
| Programming Techniques | |
| Computer Science Logic and Foundations of Programming | |
| Formal Languages and Automata Theory | |
| 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: | 9783030030445 |
| 303003044X | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910349392403321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Programming and Software Engineering, . 2945-9168 ; ; 11254