Formal Methods: Foundations and Applications | 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings. Questo articolo non è disponibile.
Lingua: inglese
Editore: Springer, 2017
- Brossura
- Nuovo
Immagine dell’articolo 1 di 2
Da: preigu, Osnabrück, Germaniapreigu
Venditore con 5 stelle
Venditore AbeBooks dal 5 agosto 2024
Non disponibile
Brossura
Condizione: Nuovo
EUR 63,90
Descrizione dell’articolo da parte del venditore
Formal Methods: Foundations and Applications | 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings | Simone Cavalheiro (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2017 | Springer | EAN 9783319708478 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Codice articolo 110908023
- Titolo
- Formal Methods: Foundations and Applications | 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings
- Autore
- Simone Cavalheiro (u. a.)
- Editore
- Springer
- Anno di pubblicazione
- 2017
- Condizione
- Neu
- Rilegatura
- Taschenbuch
- Lingua
- inglese
- ISBN 10
- 3319708473
- ISBN 13
- 9783319708478
- Peso dell'articolo
- 482 grammi
- Dimensioni
- 235 x 155 x 18 mm
- Cataloghi dei venditori
- Bücher
This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.
The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages.
The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.
"Riassunto" può appartenere a un’altra edizione di questo titolo.
Dalla quarta di copertina
The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.
"Descrizione articolo" può appartenere a un’altra edizione di questo titolo.
Risultati della ricerca per Formal Methods: Foundations and Applications | 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings
Ci sono altre 1 copie di questo libroVisualizza tutti i risultati