Formal Methods: Foundations and Applications

18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

AvBill Roscoe,Marcio Cornelio

E-bok
PDF, Engelska, 2016

551 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

Beskrivning

This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015.

The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking; languages and semantics; refinement andverification; testing and evaluation.

Produktinformation

Utforska kategorier

Hoppa över listan

Du kanske också är intresserad av

Erik de Vink, Bill Roscoe, Jan Peleska, Klaus Havelund - Formal Methods, E-bok

Formal Methods

Erik de Vink, Bill Roscoe, Jan Peleska, Klaus Havelund

E-bok
2018

1 250 kr

Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink - Formal Methods, Häftad

Formal Methods

Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink

Häftad, 2018

1 003 kr

Tone Schunnesson - Ultravåld, Inbunden
  • -19%

Ultravåld

Tone Schunnesson

Inbunden, 2026

4,6 utav 5 stjärnor. Totalt antal röster:(5)

209 kr259 kr

Elle Kennedy - Uppgörelsen, Pocket
  • -30%
Del 3

Uppgörelsen

Elle Kennedy

Pocket, 2024

4,5 utav 5 stjärnor. Totalt antal röster:(13)

69 kr99 kr

Lucinda Riley - En dold skönhet, Pocket
  • -30%

En dold skönhet

Lucinda Riley

Pocket, 2026

4,6 utav 5 stjärnor. Totalt antal röster:(18)

69 kr99 kr