Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv
Formal Methods: Foundations and Applications
- 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
Engelsk Paperback
Formal Methods: Foundations and Applications
- 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
Engelsk Paperback

383 kr
Tilføj til kurv
Sikker betaling
6 - 8 hverdage

Om denne bog

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.

Product detaljer
Sprog:
Engelsk
Sider:
195
ISBN-13:
9783319294728
Indbinding:
Paperback
Udgave:
ISBN-10:
3319294725
Udg. Dato:
3 feb 2016
Længde:
0mm
Bredde:
155mm
Højde:
235mm
Forlag:
Springer International Publishing AG
Oplagsdato:
3 feb 2016
Forfatter(e):
Kategori sammenhænge