
Formal Methods: Foundations and Applications
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....
fra 749,-
Tilgjengelig i 2 butikker
Frakt og levering
Forhåndsbestill
Frakt og levering
Produktinformasjon
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.
Topplisten: Other Brand Ungdomsskole/videregående

Grunntall 9
270,-
2

Tema
390,-
2

Teaterhistorie. Bd. 2
110,-
2

Grunntall 8
450,-
2

Å lykkes med egen læring
80,-
215,-
2
Spesifikasjon
Produkt
| Produktnavn | Formal Methods: Foundations and Applications |
| Merke | Other Brand |
Pris og prishistorikk
Akkurat nå er 749,- den billigste prisen for Formal Methods: Foundations and Applications blant 2 butikker hos Prisradar. Sjekk også vår topp 5-rangering av beste ungdomsskole/videregående for å være sikker på at du gjør det beste kjøpet.
Advanced Gatsby ProjectsKosmos ELMicrosoft PowerShell VBScript and JScript BibleThe Definitive Guide to Java Swing
Modularizing Legacy Projects Using TDDHacking Digital RadiosCode Clone AnalysisImproving the Quality of ABAP Code




