Formal Methods: Foundations and Applications

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

Vše od Springer International Publishing AG
ISBN: 9783319294728

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...

Více o produktu


Nejprodávanější produkty v aktuálním měsíci.

1 028 Kč

1 - 2 ks
1 028 Kč
3 - 10 ks
1 018 Kč
11 a více ks
1 008 Kč

Naše cena 1 028 Kč je o 6 % nižší než
doporučená cena výrobce 1 094 Kč.

Předpoklad doručení do 27. května *

* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.

1 028 Kč 1 094 Kč

Nepřehlédněte od Springer International Publishing AG

Více o produktu

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;

Výrobce
Springer International Publishing AG
Jazyk
Switzerland
Rozměry
235 x 155
Rok vydání
2016
Počet stran
195
Obsah
Paperback / softback
Počet stran
195 pages, 62 Illustrations, color

Zanechte své hodnocení

Budeme rádi, když se podělíte o svou zkušenost s Formal Methods: Foundations and Applications a pomůžete tak ostatním zákazníkům při výběru.

Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!