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
Tjek vores konkurrenters priser

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.

Tjek vores konkurrenters priser
Normalpris
kr 383
Fragt: 39 kr
6 - 8 hverdage
20 kr
Pakkegebyr
God 4 anmeldelser på
Tjek vores konkurrenters priser

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.

Produktdetaljer
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):
Forfatter(e)


Kategori Informationsarkitektur


ISBN-13 9783319294728


Sprog Engelsk


Indbinding Paperback


Sider 195


Udgave


Længde 0mm


Bredde 155mm


Højde 235mm


Udg. Dato 3 feb 2016


Oplagsdato 3 feb 2016


Forlag Springer International Publishing AG