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

571 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 296 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

999 kr

Flora Wiström - Stortaxi, Inbunden
  • -19%

Stortaxi

Flora Wiström

Inbunden, 2026

209 kr259 kr

Johanna Bäckström Lerneby - Den sjunde pojken, Pocket
  • Nyhet
Del 1

Den sjunde pojken

Johanna Bäckström Lerneby

Pocket, 2026

5,0 utav 5 stjärnor. Totalt antal röster:(1)

89 kr

Chimamanda Ngozi Adichie - Drömräkning, Pocket
  • -30%

Drömräkning

Chimamanda Ngozi Adichie

Pocket, 2026

5,0 utav 5 stjärnor. Totalt antal röster:(1)

69 kr99 kr